1
Let q = -1259 - -492. Let j = -776 - q. Is -9 smaller than j?
False
Suppose 10*m = 2*m. Let y = -72.25 - -60. Let a = y - -0.25. Is m at most as big as a?
False
Let q = -297 - -307. Let o(x) = -x**2 + 7*x - 2. Let n be o(7). Let t be 6 - 2*(n - -1). Are q and t unequal?
True
Let x(r) = -77*r + 1340. Let u be x(15). Are u and 6 equal?
False
Let r be (17 + -21)*18/8*-1. Which is bigger: -773 or r?
r
Suppose -2*g + 3*z = -g - 109, 4*z + 412 = 4*g. Suppose -g = 13*v - 113. Is -1/284 < v?
True
Suppose 11 = -4*h + 27. Suppose -4*k - 6 = q, -1 = k - h*k + 2*q. Is -12/7 at most k?
True
Let t = -919 - -973. Is t <= -27?
False
Let g be 6 + (-2464)/132*(1 - 559/4). Is g equal to 2600?
False
Let s = 118 + 109. Let c = s - 280. Are -53 and c non-equal?
False
Let d(b) = 5*b**3 + 6*b**2 + 6*b + 2. Let f be d(-4). Let k = 248 + f. Which is greater: k or -12?
k
Let z = -59.54 - -0.54. Let a = z - 42. Let q = a - -101.1. Which is greater: q or 9/10?
9/10
Let x be 1/(((-1)/143)/(-1)). Let m = 140 - x. Which is smaller: m or -45?
-45
Let f = -6630 - -26521/4. Which is smaller: f or 4/67?
4/67
Suppose -8*y - 154965 = -23*y. Which is bigger: y or 10330?
y
Suppose 4*t + 28 = 8. Let w be (456/40 - (-2)/t) + -1. Which is bigger: 28/3 or w?
w
Let f = 363 + -409. Let j be 12/18*6/f. Which is smaller: -1 or j?
-1
Let w = 354 - 321. Let f(s) = s**2 - 27*s - 216. Let t be f(w). Suppose b = 2*b + 17. Which is smaller: b or t?
t
Let q(b) = -b + 4. Suppose -3*k - 3*f - 45 = -k, k + 21 = -2*f. Let x = 33 + k. Let i be q(x). Is i equal to -3?
False
Let q be (664/130)/(65/((-6825)/(-294))). Is q greater than or equal to 3?
False
Let b = -112 - 60. Let f = b - -266. Is 0.1 bigger than f?
False
Let a = -0.03 + 1.03. Let u(m) = m**2 + 12*m + 1. Let n = 26 + -38. Let y be u(n). Is a greater than or equal to y?
True
Let n(v) = 4*v - 17. Suppose 3*o + 4*h = -5, -o - 4*h + 12 - 27 = 0. Let w be n(o). Suppose -w*i + 175 = 2*i. Is i at most 35?
True
Suppose -3*c + 29 = -v, -10 = 3*v - v. Suppose -147*a + c = -149*a. Which is smaller: a or -9?
-9
Suppose 33*f - 812 = 26*f. Let t = 358 - 243. Which is smaller: t or f?
t
Suppose 9*b = 8*b + 59*b. Which is smaller: -4/289 or b?
-4/289
Suppose 6*r - 1484 = -3*c + 10*r, 2*c + 5*r = 1020. Let m = 553 - c. Are m and 50 equal?
False
Let p = -1244.6 - -1277. Which is smaller: p or -2/7?
-2/7
Suppose 35 + 365 = 16*i. Suppose 5*b - 60 = -0*b + r, -3*r + 60 = 5*b. Let l = b - i. Is l bigger than -13?
False
Suppose -2*f - p - 102 = 3*f, -5*f = -3*p + 114. Let b = f + 13. Let x(j) = -43*j - 134. Let l be x(-3). Which is greater: l or b?
l
Suppose 134895 = 6377*u - 6428*u. Which is smaller: -2643 or u?
u
Let l = -1333520/23 - -8812565441/152030. Let u = 2/9915 + l. Let z = u - -565/42. Which is smaller: z or 0?
0
Let p = -81 - -84. Suppose -j = -p*q - 3 - 31, -87 = -3*j + 4*q. Suppose -j = -s + 3*s - n, s + 3*n = -2. Is s at least as big as -11?
True
Let i be (24/30)/((-32)/(-56960)). Do i and 1423 have the same value?
False
Let d = -2192761/3309 + 1988/3. Let j be (0 + 0)/(-5*12/(-30)). Is d less than j?
False
Suppose -25*d + r = -20*d - 19817, 2*d - 7934 = 4*r. Is 3962 > d?
False
Let v be ((-6)/8565)/(10 + (-414)/210 + -8). Which is smaller: 1 or v?
v
Let h(k) = -k + 14. Let x be h(7). Let n be (24/(-32) - 4/16)/1. Which is smaller: n or x?
n
Suppose -3*y - 28 = u, -u + 7*y = 2*y + 60. Let r be (-26 - u)/((-20)/(-38)). Is r < 27?
True
Suppose 1 = -m - 3*t - 12, -3*m + 4*t = -13. Let r be (19/20 - 10/(-40)) + m. Let q(o) = 2*o. Let a be q(3). Which is greater: a or r?
a
Suppose -v + 11 = 4*u, 3*v + 36 - 125 = 2*u. Which is greater: -5 or v?
v
Let p(x) = 12 + 2*x + 10*x - 81. Let y be p(8). Is 79/3 less than y?
True
Let b = -8543 - -7869. Which is bigger: b or 3?
3
Suppose 2*m = 2*q - 4, -2*q + 12 = 3*m - 12. Suppose 45*n = 46*n + q. Let z be n*((-13)/(-3) - 3). Is z at least as big as 3?
False
Let s be 20/16 - (-9)/12. Suppose s*w - 120 = 130. Is 125 < w?
False
Let x = 33 - 39.4. Let d = x - -7.4. Which is bigger: 9/10 or d?
d
Let x(c) = -c**2 + 2. Let w be x(-2). Let r be (-800)/264 - 6/w. Let o = 893 - 892. Which is smaller: r or o?
r
Let m be 148/3 + 3/(-9). Let r be (3/(-21))/((-28)/m). Let c = -12.5 + -29.5. Which is bigger: c or r?
r
Let t = 41 + -37. Let q be 2*(t/1)/(-8). Which is bigger: -7/85 or q?
-7/85
Let k be (65734787/(-2286436) - -29) + ((-1)/4)/1. Which is smaller: k or 0?
0
Let m be 29/(-119) - ((-6)/99 - (-3422)/(-6699)). Which is bigger: m or 0?
m
Let p be (1 - 66/54) + 84/135. Which is smaller: -13 or p?
-13
Let c = -368.94 - -365. Let i be (-22)/(-6) - 1/(48/176). Is c greater than or equal to i?
False
Let v = 0.03108 - 0.07208. Let z = 3225.341 + -3227. Let l = z + v. Which is smaller: -1 or l?
l
Let h(y) = -y**3 + 7*y**2 + 10*y - 23. Let d be h(8). Let c(k) = 3*k + 21. Let m be c(d). Is m less than 214?
True
Suppose -150 = -2*f - 2*s, -4*s + 3*s + 235 = 3*f. Let a be (-150)/(-8) - (-20)/f. Let r(c) = -c + 7. Let t be r(a). Which is smaller: -10 or t?
t
Let r = -399871 + 23591745/59. Are r and -11 equal?
False
Suppose 0 = r + 2*y + 484, 0*r + 3*r + 2*y = -1432. Are r and 0.3 non-equal?
True
Let v = 0.07 - 0.27. Let y = 9.246 + -0.146. Let o = 16.1 - y. Which is smaller: o or v?
v
Suppose -4 = 46*v - 81*v - 4. Let z = -46/561 + 52/187. Which is smaller: v or z?
v
Let x = -1733 + 5249/3. Let f be (-357)/(-21)*2/2. Which is smaller: f or x?
x
Let j = 0.08298 + 0.01702. Is 37/32 less than or equal to j?
False
Let p = 4 + 38. Let v = -42 + p. Let a be 6/4*(-4)/(-18). Which is smaller: a or v?
v
Let t be 5 - (-52)/(-39)*54. Which is bigger: -44 or t?
-44
Let m = -631015162262/12987 - -48588216. Let h = -18601/2178930 + 1/4530. Let j = m - h. Is j != 1?
True
Let f be 22/10 + -2 + 0. Let n be ((-2)/(-2) + (-1653)/1827)*(-14)/(-6). Which is greater: n or f?
n
Let n be ((-9594)/(-23370))/(4/(-30)). Which is smaller: n or -4?
-4
Let x = -3990 - -3990.1. Is -172 < x?
True
Let t be 64/(-183) - (-9)/27. Suppose 23*f - 10 = 18*f. Suppose 5*l + 4*b = -7, 2*l + 0 = f*b + 8. Is t >= l?
False
Let m(h) = -2*h**3 - 15*h**2 - 72*h + 29. Let i be m(-10). Is i bigger than 1249?
False
Let z(o) = o**2 - 14*o + 39. Let p be z(6). Let s be (-121)/7 - 6/(-21). Let j = p - s. Is 9 at least j?
True
Let z be 1/(2/3050) + 18 + -18. Suppose z + 3422 = 17*g. Which is bigger: g or 292?
292
Let s be (16524/729)/(5/33). Which is smaller: 151 or s?
s
Let g = -30.52 - -28.5. Let c = 1.62 + g. Is c <= -1/5?
True
Suppose -h - 2*b + 1 = -3, -3*b = -5*h + 20. Suppose 11 = 9*j - 5*j - 5*d, 3*j - h*d - 9 = 0. Let g = 1634/1643 - 32/31. Which is greater: g or j?
g
Let d(n) = n**3 - 10*n**2 + 8*n + 6. Let w be d(7). Let m = 85 + w. Is m equal to -104?
False
Let v = 349 - 347. Suppose -5 = -5*p, -18*p = m - 14*p + v. Is m != -11/2?
True
Let t(x) = 21*x + 21. Let i be t(-2). Let q be -41 - ((-2)/(-3))/((-14)/i). Suppose -h - 88 = h. Is h greater than q?
False
Let w = 78 + -52. Let b = w + -24. Let r be ((-190)/(-15))/b + -4. Which is smaller: r or 2?
2
Let a = 12.062 + -11.242. Which is bigger: 23/2 or a?
23/2
Let w(h) be the second derivative of h**3/3 - 61*h**2/2 - 14*h. Let u be w(26). Let c be -3*(240/(-189) - 2/u). Is 3 greater than c?
False
Let u = -0.707 + -153.293. Let x = -149 - u. Which is smaller: x or 0?
0
Let q be 370*((-14)/40 - 20/(1520/(-57))). Which is smaller: q or 127?
127
Let y = 113.204 - -0.296. Let x = -109 + y. Let c = -4.7 + x. Which is smaller: c or -26/3?
-26/3
Suppose -7*n + 1281 = -4*n + 2*h, 4*n - 1708 = -3*h. Let u be (-326)/(-174)*(-2)/n. Let d = u - -4/203. Are d and 1 equal?
False
Let z be 3 - (16/11 - (4025/385 + -11)). Let m be (12/29)/(4/6). Which is bigger: m or z?
z
Let a = -23223/28220 + -1/1660. Let x be (20 - 18)*(-9)/27. Which is smaller: x or a?
a
Let r = -7.9 + 10. Let y = r + -2. Let c = -34.6372 + -1.3628. Which is greater: y or c?
y
Suppose -6 + 24 = 3*y. Suppose -396 = 12*h - y*h. Let c = -49 - h. Is -1/2 <= c?
True
Let f be 118/35 + 158/(-2765). Does f = 4?
False
Let i be ((-2)/5)/(-1*(-395)/75). Let j = i + 103/316. Does j = -6?
False
Let z = 253/2280 - 5/456. Let x = 6 + -1. Suppose 20 = -5*t + x*n, 4*n - 16 = 4*t + t. Are t and z non-equal?
True
Suppose 90*p + 2*a = 85*p - 7872, a - 9 = 0. Is -1578 less than or equal to