
Suppose 204*d = 202*d + 494. Let o = d - 247. Which is smaller: o or -4/125?
-4/125
Let g = -16.93 - -6.88. Do -1/2 and g have the same value?
False
Let t = 1936 + -1939. Let u = -26.2 + 29. Which is greater: u or t?
u
Let r = 5161 + -139366/27. Let k = 997/54 - r. Are k and 18 non-equal?
True
Suppose 2*y + 2*y - 25 = 5*v, 0 = 2*v + y - 3. Let j be 4/(8/6) - 2743*(-23)/(-20930). Are j and v equal?
False
Let v = -6.0014 - -0.0014. Do -1619 and v have the same value?
False
Suppose 1197 = 3*m - 2*q - 1081, -3*m = -3*q - 2280. Is 761 >= m?
True
Suppose -2282 = m + 5*u, 2*m + 4*u + 6655 = 2043. Which is smaller: m or -2324?
-2324
Let u(g) = 20*g**2 + 15*g - 4. Let q be u(5). Let y = q - 282. Is y less than or equal to 289?
True
Let g = -667 + 1005. Let m = g + -348. Which is smaller: 0 or m?
m
Let j be (-5)/10 - (-4)/(8/49). Let z(y) = -4*y - 31. Let r(g) = g. Let w(k) = -5*r(k) - z(k). Let c be w(7). Are j and c unequal?
False
Let l be (4/6)/(-2 + -2). Is -4/51 <= l?
False
Let x be 10/(-7) + 229112/(-2184). Is x greater than -105?
False
Suppose -8*h = -99 - 21. Suppose -19*i + h*i + 96 = 0. Let u be 1/(-21) + 8/i. Is u < -1?
False
Let f(y) = 17*y - 67. Let q = 458 + -454. Let s be f(q). Let a = -3196/21 - -152. Which is smaller: s or a?
a
Let k = -5.194 - -0.194. Let l = k + 13. Which is bigger: l or 5/3?
l
Let l = 187344 + -467423274/2495. Which is smaller: -1 or l?
-1
Let c = -754.7 + 754.8. Which is greater: 696/25 or c?
696/25
Suppose 2*q + 324*p = 325*p + 233, -3*p - 109 = -q. Which is greater: q or 142?
142
Let r = 24753/4 + -6225. Which is smaller: -38 or r?
-38
Let r = -5307 - -5693. Are r and 1162/3 nonequal?
True
Let a be (55 - -7)/(2 - (-10)/(-4)). Let n be (84/168)/((-5)/a - 0). Which is bigger: 12 or n?
n
Let y(d) = -d**3 + 17*d**2 - 24*d - 95. Let k be y(15). Let z = -33325/6504 - 1/813. Which is smaller: k or z?
z
Let q = -51 + 106. Suppose 15*a - 9093 = -888. Let w = a + -494. Is q not equal to w?
True
Suppose 5 = -2*f + 2*r + 23, -5*f + 61 = 3*r. Suppose 2 = -j - 5*t - 10, 2*j + f = 3*t. Is j at most as big as -19/3?
True
Let l = 4081 + -4147. Which is bigger: -18 or l?
-18
Suppose -157*r + 133*r = -7104. Is 297 greater than r?
True
Let o = -17783.53 + 17784. Which is smaller: o or -9.7?
-9.7
Let a = 413.373 + 0.627. Let k = a - 416. Which is smaller: k or 2/19?
k
Suppose 0*w + 3*w = 0. Let n = 372/59 - -15804/413. Let u = -4154/91 + n. Which is greater: w or u?
w
Let m = -2907 + 43619/15. Which is smaller: -0.03 or m?
-0.03
Let k = 441 - 487.4. Let h = 7.4 + k. Let t = h - -43. Is t > -1/3?
True
Let s = 113 + -109. Let m be (-13)/s - -3 - 124/(-368). Is m at least -0.057?
True
Let b = -64.044 + -1.956. Are 0.01 and b unequal?
True
Let u = -80 - -192. Let j = u + -103. Suppose 11*p - j = 189. Is p < -1?
False
Suppose 24 = -187*w + 193*w. Let u be ((-21864)/(-495))/w + (-4)/30. Which is smaller: u or 11?
u
Let x = 76.5 + -7.5. Let u = -68.907 + x. Let q = -23.174 + 22.174. Is u != q?
True
Let n be 240/(-1680)*(-70)/375. Suppose -4 = -m + 2*p, 3*m - p - 6 = 2*p. Which is smaller: n or m?
m
Let x be (-1177173)/54*((-112)/132 - 6/(-33)). Which is greater: x or 14534?
14534
Let p = 0.631 - 0.86. Let x = p - 2.771. Which is bigger: 56 or x?
56
Let x = -253 + 38. Let j = 381 + x. Which is greater: j or 2?
j
Let o = 821 - 819. Let n = -6 - -5.7. Let w = n + 0.5. Is w < o?
True
Let h be 136/14 - (-6)/21. Let c(v) = 9*v - 21. Let r(x) = 5*x - 32. Let i be r(7). Let k be c(i). Which is smaller: k or h?
k
Let m(l) = 45*l - 23. Let c be m(-9). Let t be c/168 + 3 + 2/(-12). Do 3/25 and t have different values?
True
Let z = -19093 - -25080. Which is smaller: -2 or z?
-2
Let j = -9359 - -9358.23. Is j bigger than -72?
True
Let g(f) = f**2 + 93. Let x be g(0). Suppose 4*v - v = 3, -l - x = v. Is l less than -94?
False
Let k be -9*17/153 - (11/9 + -2). Is k equal to 13?
False
Let r = 154 - 64. Let n = r + -87. Let h = -106.8 + 107. Is n at least as big as h?
True
Suppose -524*p + 22 = -513*p. Let j be 1/(-14)*(-1 + 49)/(-1). Which is bigger: p or j?
j
Let s = 1705 + -2167. Is -459 less than s?
False
Let q = 1222 + -2612. Is q not equal to 0?
True
Let a be 1/(129/(-135)) - -1. Let k(p) = -38*p**2 - 382*p - 19. Let c be k(-10). Which is bigger: c or a?
c
Let a = -17.482 + 2214.482. Which is smaller: a or 2/13?
2/13
Let u = -28.6 - -302.6. Let s = -247 + u. Which is smaller: 0.1 or s?
0.1
Let s(x) = 64*x + 1087. Let z be s(-17). Do z and 3/235 have different values?
True
Let m(u) = 40*u + 282. Let l be m(-7). Which is greater: l or 192/107?
l
Let s(g) = g + 33. Let t be s(6). Let h = t - 11. Let j = h - 89/2. Is j not equal to -17?
True
Let v be (-100)/(-175) - 79/224. Which is smaller: v or 0?
0
Let x = -3.04 + 3.13. Let g = 0.11 + 5.89. Which is greater: x or g?
g
Let r(i) = i**3 - 10*i**2 - 45*i + 252. Let p be r(12). Let n be 2/5 + 9884/(-24885). Which is greater: n or p?
n
Let q be (0/10)/(0 + 1). Suppose q = 12*s - s - 165. Which is bigger: 73/5 or s?
s
Let o = 9.047 - -52.953. Which is smaller: -0.08 or o?
-0.08
Suppose -29*d - 51856 = -19086. Let p be d/7 - 56/98. Do -162 and p have the same value?
True
Let r = 4669 - 4656. Is r > 492/37?
False
Let c = 3190.9 - 3191. Which is smaller: c or 1599?
c
Let b = 1449 - 1461. Which is bigger: 259 or b?
259
Let r = -13.4 + 27.4. Let m be 165/(-20)*(-24)/18. Do r and m have different values?
True
Let p = 25.279 + -25.2. Let w = p + 0.121. Is w at least as big as -2/25?
True
Let s be 67188/104 + 40/(-1040). Is 649 >= s?
True
Let v = -14 + 7. Let k be v/(4/300*5). Let c = k + 205/2. Does c = 0?
False
Suppose -285107 = -156*h + 299737. Is h at most 3751?
True
Let t = 30 + -13. Suppose -3*g - p = -t - 18, g = -p + 15. Suppose g*l - 10 = -0*l. Is 1/15 smaller than l?
True
Let b = -133.98 - -133.987. Are -0.029 and b nonequal?
True
Let g = -288 - -557. Suppose -50*n = -60*n + 2690. Is g less than or equal to n?
True
Let w be (4/(-5))/((-12)/(-30)). Let b be (1/w + -3)*-10. Let z be (-231)/b - 2/5. Are z and -6 unequal?
True
Let f = 654 + -386. Let r = -245 + f. Is 8 not equal to r?
True
Let a = 2112.8996 + -2112. Let k = -0.0004 - a. Is k > -25/2?
True
Let d = -8246 - -8246. Is d < 20/1821?
True
Let c = -11112 + 11236. Which is smaller: 183 or c?
c
Let z be (-14)/1708*((-2 - -2) + -2). Let n = -12595/3 - -4252. Let x = 54 - n. Which is smaller: z or x?
z
Let y be (-11 - 1)*9/12. Let r be 0 + (-2)/(-6) + 228/y. Which is smaller: -97/4 or r?
r
Let l = -2140 + 2126. Let p(w) = -18*w**3 - 9*w + 3*w**2 + 1 + 19*w**3 - 9. Let y be p(-5). Which is smaller: y or l?
l
Let z(n) = -3*n**3 - 25*n**2 + 12*n + 285. Let v be z(-12). Which is smaller: 1732 or v?
v
Let w be 136/(-6)*9/(-12). Suppose -10*d = -w*d - 336. Is d less than 0.2?
True
Let f be ((-2)/63)/(-293 - 18). Which is greater: f or 0?
f
Suppose 5*g + 36 - 91 = 5*p, 3*g + 4*p = 40. Suppose -36*n = -48*n + g. Which is smaller: -2/1199 or n?
-2/1199
Let t = 22524 + -27997335/1243. Which is smaller: 0 or t?
t
Let b be 2/((-3)/3*14/(-7)). Which is greater: 6/763 or b?
b
Let p = -812 - -811. Which is bigger: p or -171?
p
Let c(p) = 474*p - 2854. Let g be c(6). Let y be (-61)/9 - (-12)/(-54). Is g greater than y?
False
Suppose -4*f - 55 = 5*r - 269, 5*r - 61 = -f. Suppose 254*z - 263*z - 315 = 0. Let c = 17 - z. Which is greater: c or f?
c
Suppose 4*x - x - 3 = 0. Let l = -2622 + 1849. Let p = -57976/75 - l. Is p equal to x?
False
Let i(f) = -234*f - 827. Let z be i(-3). Is -126 > z?
False
Suppose -m - 10*m = 176. Let l = -33/2 - m. Let g = -0.3 - -0.5. Which is bigger: g or l?
g
Suppose 3*r = -5 + 8. Suppose -l + 2*l = r. Let q be 20 - 16 - 96/23. Is q <= l?
True
Let t(a) = -265*a + 1060. Let x be t(4). Is 8/349 smaller than x?
False
Let n be -1*(-2)/(-2 + 0). Let s be 16/28 + 0/n. Suppose 0 = b + z - 4, 3*b + 2*z = -b + 8. Is s at least b?
True
Let r = -683 + 354. Let h = -306 - r. Is h != 27?
True
Suppose -4*b = -3*r, 2*b + 2*r = 3*b. Suppose 3*s - 2*s + 5*w = -77, b = -5*w - 20. Are s and -58 unequal?
True
Suppose -40*s - 14 = -31*s + 4. Which is smaller: 45 or s?
s
Suppose -4*d + 68 = 4*c, -5*c + d - 1218 = -1285. Which is bigger: -517 or c?
c
Let r be 10 - (850149/80956 + (-2)/4). Is 1 <= r?
False
Let c(g) = g**2 + 1. Let q(s) = 17*s - 34. Let t(d) = -c(d