reater: -16 or y?
y
Let t be (-62228)/9*10/40. Let l be ((-2 + (-2 - -3))*-1726)/(-1). Let o = t - l. Which is greater: o or -2?
-2
Let s(a) = a**3 + 4*a**2 - 13*a - 47. Let k be s(-4). Let m be (2 - k)*(-104)/(-14). Which is greater: 0 or m?
0
Let i be 53344/720 - -7 - 1/5. Is 81 >= i?
True
Let r = 154874/81 - 1912. Let h = 1047527 - 1612143929/1539. Let m = h + r. Is m <= -1?
False
Let y be -7 + (11 + -2 - 2). Suppose y = 21*x + 29 - 428. Suppose -j = -22 + 4. Which is smaller: x or j?
j
Suppose -16*b + 49 = -23*b. Let w be (b/((-35)/(-205)))/1. Is -43 smaller than w?
True
Suppose -73 = -131*t + 132*t + 2*y, 5*t - 4*y = -281. Which is smaller: -1804/29 or t?
-1804/29
Suppose l + 7 = 10. Suppose 3*x - l = -3*k, -1 - 14 = 5*x - 5*k. Which is greater: -0.08 or x?
-0.08
Let w = 0 + 0. Let m = -148 - -153. Let v be 216/189*m/4. Which is bigger: w or v?
v
Let c = -1.0366 + 0.8366. Which is greater: 26/9 or c?
26/9
Let c = -1872347/42 + 44582. Let n = c + -1669/1050. Which is bigger: n or 2?
2
Let u be 45*(1 - 2 - 4). Let o(d) = -28*d**3 - 6*d**2 - 5*d + 18. Let b be o(2). Let p be (6/8)/(u/b). Which is smaller: -4/3 or p?
-4/3
Let t be ((-24)/(-14) - 2) + (-246)/609. Let g = -842 + 840. Is t < g?
False
Let n = 119 - 266. Is -8 > n?
True
Let i = -45.2316 - -42.53. Let g = -0.0284 + i. Let n = g + 0.03. Do n and 1 have the same value?
False
Let y(l) = 765*l - l**2 + 756*l - 2*l**2 - 1 - 1510*l. Let p = -4 + 7. Let n be y(p). Which is greater: 1/4 or n?
n
Let c = -261/4 - -3811/60. Let i = -353 - -352. Which is greater: c or i?
i
Let t be 2696/64 + (-1)/8. Are 3.6 and t non-equal?
True
Let z be (-2)/5 - ((-25)/50 + 281/10). Is z < 44?
True
Let j = -1074/35 + 1208/35. Which is smaller: 5 or j?
j
Let y be (244/(-32) - -7) + 316299/9912. Let c be (2/4)/(3/180). Which is smaller: y or c?
c
Let w(y) = -45*y + 182. Let u be w(5). Let d = 49 + -51. Let k = d + -42. Does u = k?
False
Suppose 0 = -2*x - 6*x + 104. Let j be 3/((16 - x) + 2/(-1)). Suppose -j*a = 149 + 103. Is -85 greater than a?
False
Let n be ((-42)/41580)/((5 - 1)/2). Is 1 less than or equal to n?
False
Let f = 48199/572 - 337/4. Which is smaller: 0 or f?
0
Let y = 508 - 497. Which is bigger: y or 14?
14
Let n = 139 - 94. Let w = 45 - n. Let f = -87 - -48. Which is smaller: w or f?
f
Let v be (3 - 4)*8*20/(-5). Let q be 5/25 - (v/(-10) - -3). Which is bigger: 3 or q?
3
Let q = 5513/33150 + 2/5525. Are q and -1/24 unequal?
True
Let a = 137 - 79. Let i = -60 + a. Is -1 < i?
False
Let c(i) = -9*i**3 + 37*i**2 - 13*i - 12. Let t(y) = 7*y**3 - 36*y**2 + 12*y + 12. Let m(p) = -2*c(p) - 3*t(p). Let d be m(11). Which is smaller: 28/59 or d?
d
Suppose 4724*t - 12 = 4736*t. Which is greater: 3/1658 or t?
3/1658
Let u be ((-6)/8)/(3/24*-1). Suppose -u*t = -t + 275. Let w = 56 + t. Is w > 8/9?
True
Let b be (10/15*-3)/(1/(-18)). Let p = 2 - 71. Let s = b + p. Is -33 at least as big as s?
True
Let v = 0.09779 - -0.90221. Which is bigger: -75.5 or v?
v
Let g be (351/(-26))/((-70)/2135). Is 413 less than or equal to g?
False
Let x(b) = -52*b + 403. Let p be x(15). Which is greater: -375 or p?
-375
Suppose -2*a + 4*o + 24 = 0, 4 + 5 = -3*o. Let l be -595*-1*2/5. Let x be (0 - (-2)/(-3)) + l/a. Is x at most as big as 40?
True
Let i = -12.05 + -579.95. Let x = -576.8 - i. Which is greater: -0.2 or x?
x
Let r = 1.162 + -186.162. Is r greater than 0.7?
False
Suppose 0 = 21*z - 13*z - 69920. Let i be 4/5 - 7567/z. Which is bigger: i or -1?
i
Let k = -0.20915 + 0.00915. Which is smaller: 6.85 or k?
k
Let u = 1.892 - 1.492. Let y = 56253212/627 + -89718. Let f = -8/57 - y. Is f at least u?
False
Let n be -1*-1*13 + 0/(-20). Let y(p) = p**3 - 7*p**2 - 66*p + 84. Let k be y(12). Which is smaller: n or k?
k
Suppose l + 3*l + 960 = 24*l. Is l <= 21?
False
Let l be (5 + 1)/(-6)*5/10. Is 11/6 less than l?
False
Let c = 19090 - 15565. Is c less than or equal to 3526?
True
Suppose -3166 = -3*z - 0*z + d, 3*z - 2*d = 3170. Let p be 3*3/(-18) + z/36. Let v = p - 29. Which is bigger: v or 3/2?
3/2
Let f = -860.2 - 420. Is f <= 0.1?
True
Let a = -0.4775 + -331.5225. Do -0.04 and a have the same value?
False
Let o be 14 + 3600/(-264) + (-2632)/(-22). Are 114 and o nonequal?
True
Let x be 228931746/4*-4*5/3780. Let c = x + 302814. Let s = c - -50/9. Which is bigger: -0.4 or s?
s
Let q = 5871 + -5175. Is q greater than 696?
False
Let r = 666 - 522. Let v be 32/r - 14/(-18). Let j be ((-2)/6)/(13/3). Which is smaller: v or j?
j
Let w = -55 - -55. Suppose w*j = 4*j + 56. Let g be (j/12)/7*-2. Is -1/8 bigger than g?
False
Let k be 12*((-3 - -51) + (-2)/4). Suppose -1071*j + 1018*j = -30263. Is k at least as big as j?
False
Suppose 26 = 10*d - 11*d - 4*v, -5*v = d + 34. Are d and 345 non-equal?
True
Let n be (-7114)/20*-2*13/(-171717). Let r = -11/185 - n. Which is smaller: 1 or r?
r
Suppose 5*x = -5*y + 2125, -5*x + 2*y + 1255 + 884 = 0. Is x less than or equal to 426?
False
Let z(u) = u. Let d be z(2). Let p(j) = -3*j**3 - 795*j + 789*j + 4*j**3 + 2 - 8*j**d. Let g be p(9). Which is smaller: 28 or g?
28
Let n be 673/((-456)/(-1995) + (-6)/14). Is -3365 less than or equal to n?
True
Let s be 1110/(-30) - -31 - (-524)/90. Let i be 2/4*0/(-1). Which is greater: i or s?
i
Let r = 1468.218 + -20.218. Which is bigger: -2 or r?
r
Let h(y) = y**2 + 6*y - 50. Suppose -8*v + 82 = 26. Let p be h(v). Is 36 at least as big as p?
False
Let l = -21 - -27. Let m be 2/l*780/20. Suppose 0 = -5*z + 8 - m. Which is smaller: -9/5 or z?
-9/5
Let s = -0.636 + -147.364. Is -7 bigger than s?
True
Let h = -1442 - -46219/32. Is h less than 1?
False
Suppose 4*g + 0*g = 3*i - 101, -3*g = 5*i - 120. Suppose i - 56 = z. Which is smaller: z or -30?
-30
Suppose 2*d - d + 8*y = -370, 6 = 3*y. Is d greater than or equal to -380?
False
Let z(k) = -32*k - 1. Let a be z(-3). Let j = a + -667/7. Let g = 0.19 + -0.09. Which is smaller: j or g?
j
Let c = -433 - -129. Let z = 302 + c. Which is greater: 31 or z?
31
Let r(k) = -2*k - 19. Let m be r(-12). Suppose 4*l - 25 + m = 0. Suppose 550*t - 555*t = -30. Which is smaller: t or l?
l
Let o be 23 - 20 - 96/(-6). Which is smaller: 17 or o?
17
Let g = 393630/7 + -56328. Let l = -24684/259 - g. Which is smaller: l or -1?
-1
Let o be (-2)/10 - (-954)/45. Let v = 62 - o. Let i = -39 + v. Which is bigger: i or 5/2?
5/2
Let a = 35 - 38. Let k = a - -6. Suppose -4*t + v = 26 + 75, k*t - 3*v = -87. Which is smaller: t or 0?
t
Suppose 0 = 4*f - 5*f - s - 74, 5*f + 12*s + 377 = 0. Which is bigger: f or -68?
-68
Let y be 66/(-6) - (-5 - (-2730)/(-54)). Which is smaller: 45 or y?
y
Let f be ((-14)/(-149))/2*(-450)/175. Are f and 1 unequal?
True
Suppose w - 5*l + 86 = 0, -5*w + l = 2*l + 378. Let o = 36308 - 36381. Do w and o have different values?
True
Let g(d) = -d**2 + 35*d - 42. Let q(y) = y**2 - 23*y + 28. Let v(u) = 5*g(u) + 7*q(u). Let z be v(1). Is z greater than or equal to 13/19?
True
Let n(q) = -24*q + 85. Let c(g) = g**2 - 34*g + 71. Let r be c(32). Let j be n(r). Which is smaller: -167/2 or j?
-167/2
Let t = -184.4775 - -1.4775. Which is greater: t or -24?
-24
Let l be 6/(-4)*(-22)/165. Let k be (2/(-2) + 3)*6/4. Let h = k + -3. Which is greater: h or l?
l
Let s = -12 - 2. Let t(i) = i**2 + 6*i + 16. Let y be t(s). Is y > 128?
False
Suppose -a - 86 = -81. Which is greater: -9 or a?
a
Suppose -2*a = 5*h - 2 + 4, 4 = 5*h - 4*a. Is h greater than or equal to 26/223?
False
Let x(g) = 5*g - 21. Let l be x(18). Suppose 4*d + 2*w + l = w, -2*d = -w + 27. Let y = -4 + 3.9. Which is bigger: d or y?
y
Let w(f) be the second derivative of -f**3/6 + 57*f**2/2 - f. Let u be w(16). Are 39 and u equal?
False
Suppose -6707*f + 5 = -6712*f. Which is bigger: -15/149 or f?
-15/149
Let s = 45197 + -45234. Let u be 3*2*(-3)/(-45). Which is bigger: u or s?
u
Let q = 112.9 + 28.1. Let l = q - 140. Which is smaller: l or -43?
-43
Let m = -23/170 + 1283/6970. Which is bigger: m or -14/15?
m
Let q = 1234 - 1197.3. Which is bigger: 2 or q?
q
Let w be -1 - (2 + 4*-4). Let q = -14 + w. Let t be -6 + 5 - q*2. Are t and 9 unequal?
True
Let m = 8.1 - -17.8. Let l = -31.9 + m. Is l smaller than 2/27?
True
Suppose 45*v = 86*v - 30463. Which is bigger: v or 742?
v
Let h = 1005 + -1005.543. Let l = 0.368 + h. Which is greater: l or 1/4?
1/4
Let n = -103 -