 Are i and -2/349 equal?
False
Let y = -3175 - -3758. Let z = -15 - -15. Is y equal to z?
False
Let w(y) = -800*y - 54. Let d be w(6). Let k = 228148/47 + d. Which is bigger: 0 or k?
k
Let d be -8 + (9 - 8)*2 + 5. Are d and 29.25 non-equal?
True
Let t = -1 + 161. Let j be t/(-4) - 8*3/(-6). Is j greater than -181/5?
True
Let o be 1 + ((2/22)/(40/440) - 2). Let k be (-2 + 4)*(-2)/46. Which is greater: o or k?
o
Let u = -708333/67 - -10573. Is 0 less than u?
True
Suppose 0 = -2*q - 0*q + 4*y - 16, -5*q = 5*y - 35. Let f be (q/(-11) - (-120)/176)*0. Which is smaller: -1 or f?
-1
Let i = -21124 + 21142. Suppose 0 = -4*b - b - 5*n + 65, -2*b = 4*n - 16. Suppose 0*f - f = -b. Is f <= i?
True
Let r = -84.86543 - 0.13457. Which is smaller: r or 2/9?
r
Let y = -10310594/20653 - -21/1087. Let r = 113884/171 + y. Let c = 167 - r. Do -14 and c have different values?
True
Suppose 33*l - 32*l - 42 = 0. Let c = l + -21. Let q be (-8)/28 - 36/c. Which is smaller: q or 2?
q
Let p = 214192/75 - 2856. Let c(s) = s**2 + 5*s - 1. Let j be c(-5). Is j greater than p?
False
Let a be 26/(-117) - 130/(-18). Suppose -8*s = -a - 1. Let w be 2/10*42/(-105). Does s = w?
False
Let y(z) = -93*z - 15. Let g be y(1). Let r = -99 - g. Which is smaller: -2 or r?
-2
Suppose 3*n = 5*p + 154 - 18, 3*n - 2*p - 130 = 0. Which is bigger: n or 84?
84
Let n(g) = g**2 - 26*g + 161. Let v be n(16). Do v and -4/2447 have the same value?
False
Let v = -5 + -4. Suppose 24 = 13*t - 28. Suppose 10 = 5*l, 0*a = 4*a - 2*l + t. Is v less than or equal to a?
True
Let r be 1 + (1 - 264/129). Suppose -75 = 3*k + 5*p - 2*p, -5*p - 38 = 2*k. Let g = k + 115/4. Is g at least as big as r?
False
Let z be 3/14 + (-127959)/714. Let u be (-176 - 1) + -2*1. Does z = u?
True
Suppose 2*b = s - 1339, 2*s - s + 3 = 0. Which is smaller: b or -2012/3?
b
Let k = -168 + 76. Let y = 2585 + -2675. Let q = k - y. Which is greater: q or 22?
22
Suppose -25068 = -r - 3*r. Let l = r + -50373/8. Let c = 30 + l. Is c greater than 1/4?
True
Suppose -36 - 36 = -8*t. Let x = 0.5 - -0.2. Let o = 0.3 + x. Which is greater: o or t?
t
Let p = -292 - -502. Let s = p + -233. Suppose -69 = i + 2*i. Do s and i have the same value?
True
Let u(f) = 2*f - 55. Let i be u(26). Let n be i*((-609)/(-232) + (-6)/(-16)). Let v = -19 + 11. Is n > v?
False
Let g(a) = -7*a**2 + 2*a + 0*a**2 - 16 - 5*a**2 + 4*a**2 + a**3. Let w be g(8). Let t = -9 - w. Do -8 and t have different values?
True
Let p be (-390)/(-208)*6/9 + 371/(-252). Which is smaller: 0.04236 or p?
p
Let c be (-1)/(-5 + (-14)/(-3)). Suppose 7*h - 3*h - 5*i = -19, i - c = 0. Which is greater: h or -9/8?
h
Let s(a) = a**3 + 6*a**2 + a + 7. Let r be s(-6). Let h = 316 - 855. Let w be ((-49)/h)/(1/8). Which is smaller: r or w?
w
Suppose -7*w + 155 = -1315. Are w and 209 non-equal?
True
Let x be 6*(-6)/(-12) + (-672)/(-15). Let c = 104 + -57. Which is smaller: x or c?
c
Let j(a) = 6*a - 839. Let w be j(-26). Which is greater: w or -996?
w
Let j = -105.09 - -0.09. Let l be 4220/(-8862) - 12/(-63). Which is greater: j or l?
l
Let k = 98 - 39. Let p = -50 + k. Let y be (p/12)/(11 + -2). Which is smaller: -1 or y?
-1
Suppose -8*i = -15689 - 26943. Is 5330 < i?
False
Let q be (-116017)/4774 - (0 - 9/(-42)). Which is smaller: q or -24?
q
Let z be (-75361)/9269 + ((-2)/9 - (-444)/54). Is z less than or equal to -85?
False
Suppose 0 = -5*r - 5. Suppose -9*k = -7*k - 466. Let d = -233 + k. Is r greater than d?
False
Let p = 1862 + -1365. Which is bigger: 501 or p?
501
Let t = -15 + 19. Suppose -2*j + 3*n = -2*n - 40, n + t = 0. Let w be ((-4)/j)/((-133)/(-95)). Which is greater: -0.1 or w?
-0.1
Let p be (2260/(-6))/((-32)/48). Let h = 116956/207 - p. Which is bigger: h or 1?
1
Let r = -9737 - -8878. Is r at least -1/4?
False
Let m(w) = -w**2 + 3*w + 29. Let i = -4 + -3. Let l be m(i). Are l and 1 unequal?
True
Let p(c) = -c**3 - 12*c**2 - 27*c + 2. Let s be p(-9). Suppose 0 = 5*f + t + 302, -s*f - t - 112 = -5*t. Which is bigger: -62 or f?
f
Let z be (-7 + (-66)/(-12))*16/(-12). Suppose -38*r - 104 = -z*g - 34*r, 0 = 5*g + 5*r - 185. Is 247/6 != g?
True
Let u be (-12)/(-36)*10818/(-8)*-4. Let n be 1*u/(-27) + (-14)/63. Let z be -4 - (3 - (-56 - 4)). Is z less than n?
False
Let j = 35962/19053 - -3/2117. Do j and 12 have the same value?
False
Let q = 100 - 98. Suppose 5*o = 5*m - 245, 0 = 2*m + q*m + o - 196. Is 49 not equal to m?
False
Let v = -11476 - -11466. Is v at most -752?
False
Let d = -345153524/2355 - -146562. Which is smaller: 0 or d?
d
Let q = -2975 + 2976. Which is bigger: 653 or q?
653
Let u be -2 + 2*4 - (228 + -221). Which is greater: u or 10/799?
10/799
Let v be (-6*(-860)/(-75))/(8 - (-118)/(-15)). Is v less than -520?
False
Let j be (-4 - 24/(-6)) + (-77 - -1). Suppose 7*t + 333 = -185. Which is smaller: j or t?
j
Let m(s) = 29*s + 198. Let n be m(-8). Is n smaller than 30?
True
Let a = 157 - 106. Let f = 146 + -187. Let g = f + a. Is 43/4 bigger than g?
True
Suppose -3*y - 3*x = 36, 3*y - 2*x + 46 = -7*x. Let s be 3 - y*3/(-6). Let c = 34 - 28. Is c < s?
False
Suppose -2*v + 116 = 2*v - 2*y, 4*v = -2*y + 108. Suppose -952 = -v*g + 28. Is 35 less than g?
False
Let h(g) = 83*g**2 - 243*g + 1. Let q be h(3). Which is greater: 28 or q?
28
Let t(l) = -2*l - 9. Let v = 7 + -1. Let w be (v/3)/((-6)/3) - -10. Let u be t(w). Is -27 < u?
False
Let h(w) = 3*w**3 - 87*w**2 - 286*w - 64. Let f be h(32). Is 4/983 not equal to f?
True
Let u = -2/12007 - 372191/156091. Let x = u + -3/26. Let z = -2 + 1.8. Are x and z equal?
False
Let i(j) = 118*j + 448. Let g be i(-4). Which is greater: 4/7 or g?
4/7
Let a = 1043.85 - 1044. Which is bigger: 56 or a?
56
Let x(k) = -k - 2. Let r be x(-6). Let p be r/(-14)*21/(-9). Let u = 19003/180 + -528/5. Is p >= u?
True
Suppose -80 + 251 = -9*b. Let a = -11 - b. Is 13/2 less than a?
True
Let i be (3*(-14)/21)/(2/8). Let w(j) = -j**3 - 7*j**2 + 5*j - 18. Let f be w(i). Let h be 92/f*18/(-12). Is -24 < h?
True
Let g = 77165 + -8101036/105. Let x = -10507/849 - -12/283. Let f = x + g. Which is greater: f or -0.1?
f
Let u = 587.7 - 749.7. Let t = 0.3 - 0.2. Is u >= t?
False
Suppose 39147*v = 39145*v - 676. Is -324 > v?
True
Let i = -34 + 37. Suppose -3*c + 2*r - 52 = i*r, 52 = -4*c + 3*r. Suppose -60 = 4*o - 4*b, -b - 69 = 71*o - 66*o. Is c at most o?
True
Let d = 0.07 + -0.17. Let n = 82 + -92. Let q be (n/(-30))/((-4)/(-51)). Which is greater: d or q?
q
Let w(o) = o**2 - 4*o - 16. Let f be w(7). Suppose -316 = f*u + 4*m, -5*m - 44 = 3*u + 143. Let k be (59 - -6)*(-2 - -1). Which is greater: k or u?
u
Let n be (8*6/16)/(1*1931/2). Which is greater: -1 or n?
n
Let l = 7569 - 2150. Do l and 5418 have the same value?
False
Let h = -56 - -102. Suppose 0 = -42*d - 38 - h. Which is smaller: -52/27 or d?
d
Let i(p) = -p**2 - 195*p - 1589. Let v be i(-158). Is v less than 4257?
False
Let w = 14380 - 129418/9. Do -5683 and w have the same value?
False
Let a(p) = -p**2 - 15*p + 8. Let d be a(10). Let q be ((-3)/2)/(181480/6480 - 28). Are q and d nonequal?
True
Let y be (55/(-220)*(-13 + 0))/((-1)/164). Are y and -526 equal?
False
Let z = 1/247157 - -677457331/1482942. Is z <= 457?
True
Let j be -2 + (1*(-15278)/(-24))/((-142)/284). Which is smaller: j or -1274?
j
Let f(s) = -363*s**3 + 2*s**2 + s + 3. Let n be f(-2). Which is smaller: n or 2912?
2912
Let l(t) = 52 + 137*t**2 - 72*t**2 - 66*t**2 - 9*t. Suppose -81*a + 26 = -83*a. Let v be l(a). Which is greater: 1/146 or v?
1/146
Let z = 4020 + -4183. Which is smaller: -162 or z?
z
Let k be 2/(-3)*(-9)/2. Let z = 169 - 181. Let t be ((-36)/50)/(z/60). Which is smaller: k or t?
k
Suppose 0 = h - 2*r + 6, -3*r = -4*h + h - 6. Let c be (-38)/8 + h/(-8). Let d(x) = -x**2 - 1218*x + 68683. Let g be d(54). Is g <= c?
True
Let z be (-7)/(140/16) - (-108547)/136040. Do z and -1 have the same value?
False
Let z = -31 - -35. Let m(s) = -s**2 + 6*s - 6. Let k be m(z). Let p be (-6)/k - (0 + 1). Which is smaller: p or -6?
-6
Suppose 0 = 4*j + 5*l - 9259, -3*j + 24*l = 23*l - 6930. Which is smaller: j or 2309?
2309
Suppose 96*m - 93*m - 21 = 0, 0 = 3*g + 2*m + 22249. Which is smaller: g or -7420?
g
Let q(d) = d**3 - 16*d**2 + 18*d - 28. Let s = 23 + -8. Let n be q(s). Suppose -85 = n*w - 12*w. Which is greater: w or -16?
-16
Supp