01630. Let m be 252/15 - (2 + -1). Which is smaller: j or m?
j
Suppose r - 4*j = 184, 5*r - 608 = 4*j + 248. Let p = -673/4 + r. Is p >= 27?
False
Let i = -2761 - -4496. Which is bigger: 1736 or i?
1736
Let u = -24 - 387. Let r = 319 + u. Are r and -92 nonequal?
False
Let c = -3052349/10 + 304967. Are c and -268 nonequal?
True
Let j = -8.183 + 8.083. Are j and -15.98 non-equal?
True
Let h = -0.1399 + 5.8199. Are 1 and h non-equal?
True
Let d be -68 + (-4)/1 + -3 + 3. Let q = 116 + d. Suppose 46*a - q*a - 46 = 0. Is 20 at least a?
False
Let t = 591 + -685. Let f be (-16)/(-12)*t/(-32) + -4. Is 0 <= f?
False
Let y = -1 - -1. Let f = 36.4 - -29.6. Let s = -51 + f. Which is greater: s or y?
s
Let i be (-542906)/(-608) - 5/(-81 - -1). Which is greater: 887 or i?
i
Suppose 22*a - 20*a + 8 = 0, 5*g = 5*a + 2490. Which is greater: g or 492?
g
Let y = 14.71 - -0.29. Let u = 17.4 - y. Let b = u + -2.25. Is 3 smaller than b?
False
Let s(y) = -9*y - 97. Let a be s(-11). Suppose -4*f + 130 = -h, 4*h - 2*h + a*f = -300. Which is bigger: h or -145?
-145
Let b = 9006 - 8968. Is 461/12 >= b?
True
Suppose 280 = 5*k - 2*w, 2*k + 7*w = 4*w + 131. Let r be k/(-20) - (-5 + 3). Suppose -17 = -3*n - 2*l, 17*l - 66 = -4*n + 100. Are r and n nonequal?
True
Let x = 0.313 + 0.337. Let t = -0.94 + x. Which is smaller: -1 or t?
-1
Let f = 7716 - 7734. Which is smaller: 7 or f?
f
Let q = 6.3 - 6. Let o = q + 0.25. Let l = o + -0.56. Which is bigger: l or -2/3?
l
Suppose -355 = 8*g + 237. Let l = -50 + -25. Are l and g equal?
False
Let a = -1.0713 + 1.159. Let o = -94.8877 + a. Let y = o + 96. Which is smaller: 0 or y?
0
Let c(x) = 4*x - 49. Let k be c(13). Suppose -k*a + 8*a + 385 = 0. Is a less than -77?
False
Suppose -72*c = -76*c - 40. Let d = -17 - -16. Let z be (13/91)/(d*2/144). Which is greater: z or c?
c
Suppose -95*q = 4*o - 94*q - 6571, 0 = 5*o - 3*q - 8218. Is 1642 <= o?
True
Let n = 53236337063941/50128533946 - 6/165988523. Let a = n + -1062. Is a bigger than -1?
True
Let v = 25.853 - 26. Let i = v + 12.147. Do -0.03 and i have different values?
True
Let i be (-3)/(-3)*1 - -15. Suppose 2*l = -8 - i. Let g be ((-112)/(-50))/(l/30). Is -7 bigger than g?
False
Let i = -314 - -478. Suppose -123 = -3*a + 3*b, -5*b = 4*a - 3*b - i. Let x = a - 141. Which is greater: -99 or x?
-99
Let n = -12370 + 12517. Which is bigger: n or -0.7?
n
Let u be 6/3 + 2*213 - 3. Suppose -u = -o - 4*o. Suppose 10*y + o = 5*y. Is y bigger than -17?
False
Let q be (38/5 - 7)*1255. Let p = q - 756. Which is bigger: -27 or p?
p
Let h be 4/(72/(-3915)) + 1*-5. Let l = 222 + h. Is l at most as big as 330?
True
Let k be (3 + (315/(-30) - -6))*2/3. Is -1/6017 at least k?
True
Let x(a) = a**2 - 11*a - 22. Let m be x(-9). Let w = m - 1104/7. Is 6.6 > w?
True
Let g = -164 + 178. Suppose a + 5 = x, 20*a - 24*a - g = -2*x. Which is smaller: 44/17 or x?
44/17
Let m = -764 - -2248/3. Let r(a) = -2*a**2 + 12*a - 16. Let h be r(8). Let c = h - -32. Is m greater than or equal to c?
True
Let l = 5315 + -5422. Is l <= -85?
True
Let l be 9/18 - (-662)/(-4) - -2. Let i = l - -161. Let d = 0.1 - -0.9. Which is greater: d or i?
d
Let c be 30818/5135 + (6 - (30 - 18)). Is 1 less than c?
False
Let v = -2398 - -3828. Which is smaller: v or 1431?
v
Let w = -462 + 468. Suppose 5 = -w*y + 11. Is -1/119 at least y?
False
Let f = 76 + -85. Let q be (-9)/2*(-32)/12. Which is smaller: f or q?
f
Let d be (8/54)/((-100)/(-2730)) + -4. Suppose 5*c = 3*t - 29, 4*t - 3*c = 22 + 2. Suppose -t*y = 3*f - 15, -2*f = 4*y - 7*f + 25. Is d at most as big as y?
False
Let g be 63/(-35) - 21/(-15). Which is greater: g or 4983?
4983
Let c(w) = -137*w - 2719. Let x be c(-20). Suppose 0 = z - 4*n - 0*n - 3, -3*z - 5*n = -26. Which is bigger: z or x?
x
Let k = 54 + -60. Let m be k/(-15) - 9/10. Which is greater: m or -88?
m
Suppose -4*d - 41 = 5*q, -3*q + 2*q = -4*d - 11. Let x be (-330)/(-70) - d/14. Is x >= 23?
False
Let i = 75 + -208. Let n be 4/7*i/38. Is n less than -2?
False
Let d = -28 - -33.48. Let v = d - 3.38. Which is greater: -2/7 or v?
v
Let z(p) = 4*p**3 + 9*p**2 - 10*p - 13. Let d(l) = l**3 + l**2 + l - 1. Let k(t) = -3*d(t) + z(t). Let u be k(-6). Which is bigger: 3 or u?
u
Suppose -5*y - 21*m + 62748 = -19*m, 0 = 5*y + 5*m - 62730. Is 12552 less than or equal to y?
True
Let t be 22/1364*8/26. Let q = t + -4447/2821. Is -2 at most q?
True
Let n = 1617406 + -153655883/95. Let c = n + 360/19. Which is smaller: -5 or c?
c
Let j be 328/492 + 4/(-15). Is 13/623 > j?
False
Let b = 214 + -200. Suppose 16*i - 70 = b*i. Which is smaller: 34 or i?
34
Let o = -40.774 + -0.226. Let f = o - -41. Is f != 0.118?
True
Let c be (-3*8/72)/((-4)/504). Which is smaller: c or 86?
c
Suppose -13*j + 2380 - 1818 = -3104. Which is greater: j or 284?
284
Let b = 24239 - 508651/21. Which is smaller: b or 19?
b
Let c be ((-8)/(-3))/(-8) + ((-80696)/(-22152))/11. Which is smaller: -1/4 or c?
-1/4
Let s = -1625.329 - -1624.6. Are s and -4 non-equal?
True
Let o be 62/(-21) + 4/6. Let k(c) = c**2 - 4*c - 39. Let h be k(9). Let y(b) = -6*b**2 + 34*b + 9. Let x be y(h). Which is smaller: o or x?
x
Let d(f) = f**3 + 4*f**2 + 4*f + 6. Let t be d(-3). Suppose 5*q + 5 = -2*l + 7*l, t*l - 15 = 0. Let i be ((-2)/(-4))/(q/472). Is i greater than or equal to 59?
True
Suppose 6 = 5*a + c, -3*a - 3*c - 2 = -c. Suppose 3*f = 8*f - 5*n, 0 = -2*f - a*n + 4. Let d be (f + 0)*(-4 - 0). Which is greater: d or -13/4?
-13/4
Let c(w) = -w**3 + 16*w**2 - 17*w + 8. Let d be c(15). Let r be ((-33)/d)/((-903)/4). Are -1 and r non-equal?
True
Let w = -0.074 - -168.074. Let k = -22.01 + 23.01. Is k < w?
True
Suppose -a + 19 = -5*m + 44, 0 = 5*m - 4*a - 25. Suppose 0 = -2*h - 10, 3*o - 2*h = -m*h - 15. Which is bigger: -9/31 or o?
o
Let w be (-1299)/((-15)/20 - ((-500)/48 + 10)). Which is greater: 3896 or w?
w
Suppose 4*g + 10 = -6. Let r(p) = 3*p**2 + 42*p + 5. Let i be r(-14). Suppose -4*t + 2 = 3*n, 31 = -n + i*t - 0*t. Which is greater: g or n?
g
Let v be (-462)/(-18) + (-5)/3. Let n be (-10)/35*-1 + v/(-35). Is 74 at most n?
False
Let a be (-17 + 18)/(1/3). Suppose 0 = -3*f + 27 - a. Is 74/9 > f?
True
Let x(l) = -l**2 + 22*l + 207. Let a be x(-7). Suppose 3*r = 6*r - a*c - 385, 280 = 2*r + 2*c. Is 137 smaller than r?
False
Let x = -244 - -360. Which is greater: x or 111?
x
Let h = -801522/7 + 114286. Is h less than 0.2?
True
Let x be 5 - 1 - (8 + -9). Let d be (-9)/18*(3 + x). Is d smaller than -1?
True
Let n(r) = -r**3 + r**2 - 24*r + 91. Let m be n(3). Which is bigger: 53/164 or m?
m
Let d(b) = 26*b + 753. Let f be d(-29). Let h be (12/9)/(1/(-3)). Let a be h - (-5 + f) - -36. Is 38 greater than a?
False
Let f(k) = -k - 176. Let q be f(0). Let n = 177 + q. Which is smaller: -3/50 or n?
-3/50
Let p(l) = l**3 - 6*l**2 + l + 5. Let a(b) = 7*b - 63. Let o be a(10). Let h be p(o). Is 61 less than or equal to h?
True
Suppose 85 - 91 = -3*l. Suppose 14*t = l*t - 108. Let d = -8 + 1. Which is smaller: d or t?
t
Let j be -35 + 36 + 119986/2. Let x be 4/(-24) + 10107/j. Is -1 at most as big as x?
True
Let r = -215 + 233. Suppose r*k + 3*k - 483 = 0. Are 26 and k unequal?
True
Let r = 41543/3 + -13321. Do r and 526 have the same value?
False
Suppose -20*q + 17*q = -90. Suppose 9*t - 6*t = q. Let k be (-3)/(-6)*-1*t. Is k bigger than -2?
False
Suppose -3*f + 2*h = 2, 0 = 4*f - 4*h + 9 - 1. Let l be -34*19/(3876/(-24)). Suppose 0 = l*n + 2*x + 17 + 23, -24 = f*n - x. Which is smaller: n or -10?
n
Suppose -r + 238 = -2*a, -11*a - 1886 = -3*r - 557. Which is bigger: -3064/25 or a?
-3064/25
Let u = -5009 + 2434375/486. Which is smaller: u or -0.04?
-0.04
Let d(s) = 44*s + 833. Let c be d(-21). Which is bigger: c or -22?
-22
Let b(k) = -4*k - 16. Let x be b(-12). Let q = 4 + x. Let g be 11/22*70 + 5/((-15)/(-9)). Is g equal to q?
False
Suppose -3*h - 15 = 0, 17 = -8*b + 4*b - h. Let d be 1029/(-441) - (-4)/(-2). Which is greater: d or b?
b
Let t = 384 + -353. Suppose -6*x = -7 + t. Is x less than -19/4?
False
Let w be -1 + (-513)/(-332)*2/5. Let y = 3/166 - w. Is y greater than 5/4?
False
Suppose 3*d + 4 = -3*t - 2, 0 = 5*d + 4*t + 7. Let p = 3852950/213 - 18089. Let g = p - 3/1349. Which is greater: g or d?
d
Suppose 2*k - 9 = 47. Let g = 11273 + -11251. Is k smaller than g?
False
Let p(i