s smaller: u or -4/9?
u
Let j = 11263 - 10818. Do 451 and j have different values?
True
Let t be 8/23 - 1/3. Let n be ((-3364)/(-261) - 13)*9. Do n and t have different values?
True
Let u be 24/140*(-92)/30. Let x = -7702/7 - -192592/175. Let a = x + u. Does 1 = a?
False
Let c(o) = -29139*o**2 - 11*o + 40 + 29120*o**2 + o - o**3. Let y be c(-18). Do -105 and y have the same value?
False
Let h = 121 + -59. Let q = h + -118. Let j be q/(-14)*(-62)/(-8). Are j and 31 non-equal?
False
Let a = 8 - 6. Let s be 32*((-90)/9)/(-540). Which is smaller: s or a?
s
Let l(p) = -2*p**3 - 2*p**2 - 12*p - 5. Let s be l(-3). Suppose -s - 48 = 5*v. Let h = -2.1 + 2. Which is bigger: v or h?
h
Let i(t) = -2286*t + 2466. Let g be i(1). Is -21 != g?
True
Let u = -2182917/65 - -33581. Is -2 at least as big as u?
True
Let h(v) = 113*v - 225. Let s be h(3). Which is smaller: s or -10?
-10
Let r = -341.9471 - 0.0529. Let b = r - -342.12. Which is bigger: b or 1/33?
b
Let x be (-1)/(-28)*(6 + 482). Which is smaller: x or -0.4?
-0.4
Let v = -24.988 + 25.158. Which is smaller: v or 86?
v
Let z be 2/(-15)*(0 - -3). Let g = 36.5 - 76. Let t = -4.5 - g. Which is smaller: t or z?
z
Suppose 45 = 3*j + 36*w - 41*w, -2*j + 4*w = -30. Is j at least 33?
False
Let a(t) = -t**3 + 7*t**2 + 2*t + 7. Let g be a(5). Let r = -85431 + 85429. Which is smaller: r or g?
r
Suppose -6*i + i = -15. Suppose i*p + 5*v = 3 + 17, 0 = 5*p + v - 26. Suppose q = 2*b + 2, b = -p*q + 2 - 25. Which is bigger: -5 or b?
b
Let w be 72032/15 + (-3)/((-90)/(-4)). Is 4802 less than w?
False
Let d = -100.2 + -178.85. Let v = d + 279. Do v and 23 have different values?
True
Suppose 0 = 179*x - 177*x - w + 15566, 0 = x - 5*w + 7801. Is x at least as big as -7782?
True
Let m = 27 + -71. Let t = -460 - -504. Let r = -87 + t. Which is smaller: r or m?
m
Let r = -93 - -50. Let p = 161 - 160.9. Which is bigger: r or p?
p
Let m = -962929/6453 + 1343/9. Which is smaller: 0 or m?
0
Suppose -150 = -5*x - x. Suppose 0 = 24*v - x*v + 193. Is v greater than 193?
False
Let a be (7 - (-232)/(-32))/((-21)/(-592452)). Is -7054 < a?
True
Let k be (-14)/721*(3 - 494/164). Do 0 and k have different values?
True
Let w(r) = -14*r**3 - 2 + 35*r**3 - 3*r - 3*r - 5*r**2 - 20*r**3. Let a be w(3). Which is bigger: -39 or a?
a
Let r(s) = -11*s**2 - 31*s - 23. Let v be r(-8). Which is smaller: -488 or v?
-488
Let d = 55.25 - 55.71. Which is smaller: -54 or d?
-54
Let b be (64/9 - 12) + 4. Which is greater: b or 8/13?
8/13
Let s(t) be the third derivative of -t**6/60 + t**5/6 + 5*t**4/12 + 4*t**3/3 + 104*t**2. Let a be s(5). Which is smaller: 57 or a?
57
Suppose 0 = 2*p + 4 - 8. Let b(x) = 5*x**2 + 3*x**2 + 9*x**p + x**3 - 2*x**2 + 3. Let f be b(-15). Is f at least 5/3?
True
Let j = -137 + 139. Suppose -5*m - j*d - 174 = 0, 4*d = -6*m + 3*m - 96. Suppose 0 = -4*t + t + 4*w - 85, -3*t - 4*w = 125. Which is smaller: m or t?
m
Suppose 0 = 2*b - 4*b + 24. Let f(k) = -k**2 + 1131*k - 42581. Let m be f(39). Is m less than b?
True
Suppose 90*t - 86*t + 4*p = 432, 0 = -3*t + 5*p + 292. Which is smaller: 107 or t?
t
Let c = -2/7557 + -3922768/7557. Which is bigger: c or -518?
-518
Suppose 0 = -4*m - l + 3*l + 22, 0 = 3*l - 3. Let n be (-15)/m + 22 + -20. Which is smaller: n or -4/21?
n
Suppose 5*u = -6 + 36. Let r = 114 - 104. Suppose u = r*h - 4. Which is bigger: h or -2/5?
h
Let g be 140643/(-803682)*(-1)/10. Let p = -3/2420 + g. Which is greater: -1 or p?
p
Let y be 0/(-5 - (-2 - 2)). Suppose y*n - 4*n + 8 = 0. Suppose 0 = -j + 3*w + 1, n*w = 5*w. Which is smaller: j or 4?
j
Let j = -104 + 298/3. Let n(o) = -8*o - 105*o**2 + 212*o**2 - 16 - 108*o**2. Let b be n(-3). Is b >= j?
True
Suppose 48*g - 5264 + 560 = 0. Which is smaller: 82 or g?
82
Let n = 620/13 - 16493/182. Is -43 bigger than n?
False
Suppose 5*h + 36 = -3*x, 0 = -x - 4*x - 4*h - 34. Suppose 4*m + m = -2*t - 5, -3*t = 4*m + 4. Are x and m unequal?
True
Let o = -16 + 18. Let y = 43.47 - 43.62. Which is greater: o or y?
o
Let z = 49204/165 + 282/55. Let b = z - 303. Is -111 at least b?
False
Let k = -217 - -136. Let q = 80 + k. Let o = -1.25 - -0.94. Which is smaller: o or q?
q
Let d be 1*((6 - 5) + -1). Suppose d = -3*t + 28 - 31. Which is bigger: 3/209 or t?
3/209
Let s = 6077 + -6500. Is s less than or equal to -423?
True
Let q = 43.034 + 0.166. Let b = q + -46. Which is greater: b or -2/7?
-2/7
Suppose -2*p - 5*g + 19 = 0, -3*p = -2*g - 2*g + 6. Let u(t) = -18 + 5 - 5 - p*t + t. Let k be u(-10). Is -9 smaller than k?
True
Let f = 4092.6 + -4093. Is f smaller than -275?
False
Let m(l) = -12*l - 43. Let t be m(-6). Let s = -132 - -69. Let a = s + t. Is -32 > a?
True
Let q be 4/(-10)*(-140)/224. Which is greater: 3855 or q?
3855
Let q = -481 + 546.38. Let o = 65.3 - q. Let s = 3 - 0. Is s bigger than o?
True
Suppose 2*b - 22 = 5*s, -7*b + 5*b + 3*s = -14. Let x be (b/27)/((156/18)/(-13)). Which is greater: -5/7 or x?
x
Let l be ((-6)/15)/((-2)/1720). Suppose -722*i = 3024 - 250670. Are i and l nonequal?
True
Let u be (-22749748)/7315740 + 3 + (-4)/(-36). Let x = -3/485 + u. Which is greater: x or 0?
0
Let u(a) = -6*a - 245. Let j be u(-42). Suppose 0 = -5*o + 4*b - 56, 4*o - j*b + 28 = -8*b. Which is smaller: o or -6?
o
Let p be (12/(-9))/(24/(-54)). Suppose 5*j = p*j - 164. Let o = 82 + j. Which is smaller: o or -1/53?
-1/53
Suppose 229*n = 258*n - 29986. Which is smaller: 0.3 or n?
0.3
Let t = 155800/3 - 52843. Which is smaller: -911 or t?
-911
Let j be (-64)/(-24)*(-15)/(-4)*-2. Let t be (-8)/j*(-15)/(-24)*4. Which is greater: t or 2/35?
t
Let n be 0*5*(-6)/30. Suppose -1614*p + 1617*p + 114 = n. Is p <= 3/2?
True
Let l = -8170 - -7099729/869. Let b(q) = q**3 - q**2 - 3. Let j be b(2). Is l less than or equal to j?
True
Suppose -g + 3*g - 74 = -2*z, 5*g + 4*z = 184. Let d be (-1304)/g - (32/18 + -2). Let u be (-135)/d*5/(30/(-16)). Which is smaller: u or -32/3?
-32/3
Let m = 0.0482 - 281.0482. Let a = -281.8 - m. Let l = 2 - 7. Does l = a?
False
Suppose 126 = 26*a - 12*a. Let g be (-6)/a*(-21)/(-4606). Which is greater: 1 or g?
1
Let c = 4049 - -5148. Is c at least 9197?
True
Let y be (-12 + 3)*(-1)/(-1). Suppose 10*l - 8 - 12 = 0. Suppose 5*z - l = -42. Is z equal to y?
False
Suppose -4*z - 720 = -3*i, -13*z - 4*i - 692 = -9*z. Which is smaller: -172 or z?
z
Suppose 145*o = -31*o + 1684171 + 1077797. Are o and 15694 equal?
False
Let k be (-8)/2*(-30 - 13373/(-344)). Which is greater: -1.7 or k?
-1.7
Suppose 5 = -5*f - 35. Let m = 899 + -898. Which is smaller: m or f?
f
Let x be (11/(33/2))/(4 + -22 - 3). Which is smaller: x or -0.004?
x
Let z be 2*(2 + -5 + 5) - -1. Suppose 5*j + 105 = -z*b, 2*j + b + 0*b + 41 = 0. Does j = -4?
False
Suppose -3*a - 3162 = -4*t - 5*a, 2*t = 5*a + 1551. Suppose -3*n + t = 908. Is -124/3 greater than n?
False
Let h(w) = 6*w**3 + 48*w**2 - w - 16. Let z be h(-8). Let j be (-15)/145*(-12)/z. Is -1 greater than or equal to j?
False
Let i be 11 - 15 - (-1910)/440. Which is smaller: i or 1?
i
Let b = -326 - -322. Is 19 < b?
False
Suppose 130 = -g - 0*g. Let f = -130 - g. Suppose 4*w = -l - 10, 7 = -4*w + l + 1. Which is bigger: f or w?
f
Let m be (1/(45/(-297)))/(2 - 3). Let j(a) = 2*a + 1. Let q be j(2). Suppose 5*i + 31 = 2*b - b, 0 = 2*b + q*i + 13. Which is smaller: m or b?
b
Let g = -198 - 273. Let q = g - -471.227. Let c = q + -0.127. Are c and -5.9 unequal?
True
Let q(y) = -y**2 - 86*y - 1. Let v be q(0). Which is greater: v or 733?
733
Let q = 318 + -317.95. Let y = q + 0.05. Is y <= 2/5?
True
Let t = -2632 - -2123. Is t at most as big as -4?
True
Let w = 982 + -1398. Let c = w + 423. Let s = 0.3 - -0.2. Which is smaller: c or s?
s
Let q be (-165)/10 + 6/4. Let c(h) = h**2 + 21*h + 66. Let s be c(q). Which is greater: -20 or s?
-20
Suppose 0 = 143*b - 142*b + 295. Let u = b - -298. Is 1 greater than u?
False
Let l be 9 - (38*(-6)/12)/1. Let r be 39/18*14 + -2. Which is smaller: l or r?
l
Let x = -36.9 + 37. Let z = 1112.9 - 1085.3. Does z = x?
False
Suppose -40*d + 2817 - 11432 = 2425. Which is smaller: d or -267?
d
Suppose 2*l = -6, -11*r + 10*r - 2*l = 8. Let f be 4*r + (5 - 5). Let u be 5 + -1 - (-2)/f. Which is smaller: 4 or u?
u
Suppose -25*d + 102*d = 77. Which is smaller: d or -16/449?
-16/449
Suppose -20 = 2*m + 3*m, f - 5*m = 25. Let x