et p be s/53 - 76/(-34). Are 2 and p unequal?
True
Let s be (-2 + 175/50)*-1532*(-2)/(-150). Is s less than or equal to -32?
False
Let m(j) = 2*j**3 + 25*j**2 + 26*j - 14. Let o be m(-11). Is -31 < o?
True
Let w be ((-83)/5)/((-84)/392). Is 76 greater than or equal to w?
False
Let a be (-49)/14*(-8)/6. Let j(u) = 10*u - 65. Let n be j(9). Suppose -n*d + 30*d - 20 = 0. Which is greater: d or a?
a
Let y = 34136 + -171976/5. Let s be 1031/4 - 74/(-296). Let r = y + s. Which is bigger: -1 or r?
-1
Let y = 5/1002 + -195901/2004. Let b = -103 - y. Let j(d) = -d**3 - 16*d**2 + 12*d + 400. Let k be j(-15). Is k less than or equal to b?
False
Let f(o) = o**2 - o - 4. Let n be f(-6). Let y be (-3 - (-64)/22)/((-882)/368676). Is n >= y?
True
Let v(k) = -3341*k**2 + 81*k + 80. Let n be v(-1). Is n <= -3343?
False
Let f = -4.419 + 4.332. Is f equal to -58?
False
Let y = 232 - 222. Suppose -x = 5*o - 3*x - y, 0 = 5*o - x - 5. Which is smaller: 1/254 or o?
o
Suppose 0 = -4*l + 1 + 15. Suppose 6*q = 2*q + l. Let k(j) = -40*j**2 - 2*j + 2. Let x be k(q). Which is bigger: x or -39?
-39
Let l = 6.219 - 5.219. Which is smaller: 1/11 or l?
1/11
Let y = -0.1 + 0. Let a be -1 - (-181)/45 - (-344)/(-1548). Which is smaller: y or a?
y
Let n(t) = t**3 - 14*t**2 + 8*t. Let x be n(13). Let l = x + 96. Which is bigger: 24 or l?
l
Let n = 27745 + -2357869/85. Is 5 bigger than n?
False
Let z be ((-12)/10)/((-20)/1950) - 1. Suppose f - 30 = -5*j, 5*f = z*j - 115*j + 20. Which is greater: j or 2?
j
Let j(y) = -9*y**3 - 19*y**2 - 9*y - 26. Let c be j(-8). Suppose -c = 12*k + 6*k. Which is smaller: -192 or k?
-192
Suppose 5*a - 4*a = 6*j + 105, -5*a + 49 = -2*j. Which is bigger: j or -1/79?
-1/79
Let l = 5.7 - -23.3. Let g = l - 64. Let w = g + 53. Are -1/2 and w equal?
False
Let p(b) = -25*b**3 - 2*b**2 - 2*b + 1. Let x be p(-2). Suppose -196*l = -x*l + 155. Do 154 and l have different values?
True
Let t = -3.78 + 0.08. Let x = 2.7 + t. Is -42 less than x?
True
Let q be ((-1056)/220)/((-54)/9390). Is q greater than 835?
False
Suppose 19*i + 32*i + 100 - 508 = 0. Is 124/15 > i?
True
Let s be -6*6/15*(9/614)/(-9). Which is bigger: 1 or s?
1
Let m = -13 + 41. Let k(x) = 2*x - 267. Let h(p) = 6*p - 534. Let t(n) = 6*h(n) - 13*k(n). Let d be t(-24). Which is bigger: m or d?
m
Let a = 12 - -12. Suppose 5*n - 2*l - a = n, 0 = -5*l. Which is bigger: n or 7?
7
Let a = 0 + 4. Suppose -t - 4 = 4*m, -4*m - 5 + 1 = a*t. Let h = 22551 + -112752/5. Which is bigger: t or h?
h
Let p be ((-2460)/(-880))/((5/100)/1). Are p and 56 nonequal?
True
Let k(n) = -n**3 + 8*n**2 - 11*n + 10. Let t be k(7). Let r be 112/t - 4/(-18). Let a = -471/116 + -78/29. Which is smaller: r or a?
a
Suppose 0 = -8*l - 1 + 25. Let q = 16 + -11. Suppose 0 = 5*b + 4*t + 5, -l*b - t - q = -2. Is -3/44 >= b?
True
Suppose -w - 172*f = -171*f - 6, 2*w - 5*f = -23. Which is greater: w or -147.3?
w
Let a be (4*(-5)/(-20))/((-1)/(-51)). Let n = -67 + a. Let y = -2.1 - -3.1. Is y at most as big as n?
False
Let r = -297 + 296. Let y be r/4 + (-308)/(-1056). Suppose 3 = -m + 4. Which is bigger: y or m?
m
Let b(w) = 8*w - 323. Let d(z) = -7*z + 40. Let i be d(0). Let s be b(i). Which is smaller: -35/18 or s?
s
Suppose 0 - 2 = -2*p. Let d = -146 + 140. Let f(h) = 4*h + 27. Let b be f(d). Are b and p unequal?
True
Suppose -21 = x + 3*a - 7, -2*x - 4*a - 34 = 0. Suppose 0 = -7*r + 6*r - 28. Is r equal to x?
False
Let k be -223*(1/7 - (-180)/210). Let r = -6468/29 - k. Let t be -2 + 1*4 - 2. Which is greater: t or r?
t
Suppose 1078*o - 2183*o + 1084*o + 47208 = 0. Which is bigger: o or 2247?
o
Let r be (-7)/21 - 149*25/(-15). Let c = r - 249. Which is smaller: 1/142 or c?
c
Let w = 3446 + -3720. Which is smaller: w or -281?
-281
Let b be (2 - (-52)/(-8)) + (-40109)/(-38). Are 1044 and b equal?
False
Suppose 0 = -3*f + 7*g + 949, 2*g + 178 - 1466 = -4*f. Is f bigger than 0?
True
Let x = 6164432/265 + -23262. Let a(u) = -u + 3. Let w be a(3). Which is smaller: w or x?
w
Let s = -2695 - -3417. Which is smaller: 713 or s?
713
Let m be 0 - (39 + (3 - 3)). Let c be ((-1)/((-7)/(-30)))/(576/5376). Are c and m equal?
False
Let o = -1162 - -8136/7. Let a = 355.57 - 357. Which is smaller: o or a?
a
Let t = 0.4725 + -0.3825. Which is smaller: -2/29 or t?
-2/29
Suppose 861*g - 865*g = 2520. Are -628 and g nonequal?
True
Let n = 3.9297 - 4.0497. Is n at least as big as 175?
False
Let h be 6022/(-1218) + 4/(-6). Let x = 40/7 + h. Let q = 67/87 - x. Is q <= -36?
False
Let d = -83.4 + -29.6. Let n = d + 144. Does 2/3 = n?
False
Let r = -1.5 + 18.5. Let o = 0.023 - 10.023. Let w = o + r. Does -0.1 = w?
False
Suppose -144 = -21*b + 3*b. Suppose 10 = -6*q - b. Which is smaller: q or 22?
q
Let n = 202402/167 - 1212. Let w = -0.1 + 0.1. Are w and n unequal?
True
Let f be (-11 - -131)*(-414)/(-90). Is f smaller than 534?
False
Let a be 2 - 10 - (-3 + 4). Let w(t) = -2*t**2 - 64*t + 273. Let u be w(4). Which is smaller: a or u?
u
Suppose 33*v - 25*v = -16. Let p be (20/(-7))/(v/7). Let w(l) = l + 12. Let s be w(0). Is s not equal to p?
True
Let k be -4*-17*2/(-8). Let h(a) = -4*a**2 + 21*a - 8. Let i(c) = -3*c**2 + 22*c - 7. Let p(m) = -5*h(m) + 6*i(m). Let r be p(-13). Which is greater: r or k?
r
Let c = 96 + -93. Let g = 8 + -6. Suppose -f = g*n - c*f - 10, -n - 2*f = 1. Is 1 less than n?
True
Let f = 375/8 + -47. Let s be ((-2)/20*4)/((-18)/135). Suppose -2*j - 20 = s*n - j, -2*j - 33 = 5*n. Is n < f?
True
Let v be -1*6/15 + 9696/240. Suppose v*y - 5 = 39*y + 4*s, s + 2 = 0. Are 2/13 and y equal?
False
Let d = -37600 + 29959. Which is greater: -7639 or d?
-7639
Let z be (-27 - -27)*(1 - (-2)/(-4)). Let d = 4675 - 1514699/324. Which is bigger: d or z?
d
Let m = 777 + -738.8. Let l = m - 38.11. Which is greater: l or 3.2?
3.2
Suppose 41*r = 168331 + 165573. Which is smaller: -1 or r?
-1
Let p be 45 + (0 - (4 + -8)). Suppose 3*g + 4*r - p = 33, 2*g = -r + 48. Which is greater: 21 or g?
g
Suppose 372 = 3*s + 11*i - 14*i, -4*s = -6*i - 500. Is 121 equal to s?
False
Let k = 45.3 - 4.3. Let l = -336.3 + 382.3. Let f = k - l. Is 4 bigger than f?
True
Let s = -1 - -14. Let r be 30/195 + 63/s. Let f = 27 - r. Which is bigger: f or 23?
23
Let q = 5.94 - -0.06. Let s = -0.0498 + 72.6498. Let f = -73 + s. Is q at most f?
False
Let x = -12316 - -886759/72. Which is bigger: 0 or x?
x
Let t = 6 + 2. Suppose -4*q + 4 = -t*q. Let h be -31 - -32 - (19 - 10704/594). Is h less than or equal to q?
False
Let a be -95 + 80 - -4*2. Let q be (-19)/7 - 0 - (-2)/a. Do q and 38 have different values?
True
Let q = 2/717 + -1628/69549. Let g(m) = -m**3 - 12*m**2 - 27*m - 1. Let y be g(-9). Is q <= y?
False
Let g = -176 + 135. Let k = g + 54. Is 13 > k?
False
Let r be (-54)/(-30)*((-1300)/30)/(-13). Do 42 and r have the same value?
False
Let h(n) = 4*n**2 - 22*n - 16. Let l be h(6). Let v be l - -1 - (-4 - -1). Which is bigger: v or -1/118?
v
Suppose -2*w = 3*a + 36, 3*a - 2*a - 8 = w. Let b be (-567)/(-1410) + 0 + w/30. Which is bigger: -1 or b?
b
Suppose 41*z - 31*z = 30. Suppose -56 = -z*s - 5*s. Which is greater: -16 or s?
s
Suppose y - 4*k + 359 = -413, 0 = 4*k + 8. Let j be 4 + y/176 + (-4)/(-22). Which is smaller: j or 4?
j
Let f = -22223 - -23739. Is 13640/9 bigger than f?
False
Let w = -1753.5 - -1755. Let z = 0.9 - 0.4. Let a = 0.7 - z. Is w greater than a?
True
Suppose 4*j + j + 0*j = 0. Let a = -3139 - -3130. Is a smaller than j?
True
Let v be -514*(-2)/4 + (-35)/21. Let l = 255 - v. Which is bigger: l or 1/72?
1/72
Let r = -0.6 + 3.6. Let u = -16.64 - 5.36. Is r at least as big as u?
True
Let j = -16 - 103. Let n = j + 120. Let w be (-8)/11 + 4 + -3. Is w greater than or equal to n?
False
Suppose -95*y + 77*y = -301*y - 393087. Is y at least -1390?
True
Let r = 126.61895 + 0.38105. Which is smaller: 111 or r?
111
Let j = -5015/324 - 22/81. Let d be (-34)/((-3)/6 - 125/(-50)). Which is smaller: d or j?
d
Let l = 0.163 + 3.757. Does 1/2 = l?
False
Suppose -5*n = -0*k + k + 5, -5*k - n - 1 = 0. Suppose l - 2*u + 10 = k, 0 = l - 13*u + 8*u + 25. Which is bigger: l or -8/7?
l
Let x be 122*(5/(-25))/((-40)/25). Suppose -2*h + 22 + 6 = 0. Is x bigger than h?
True
Suppose -3022 - 5218 = 16*u. Which is bigger: -512 or u?
-512
Suppose -81*b - 126 = -95*b. Let a(s) = -7*s - 5. Le