 21*p + 15. Let h be u(n). Which is bigger: -175 or h?
h
Let b(l) = 6*l + 34. Suppose 2*k - 3*k = -11. Let z be (-2 - -2)/(-3) + -3 + k. Let y be b(z). Which is smaller: y or 83?
y
Let b be 8 + -1 + -10 - 2. Let r be (b + -13)*(1356/9)/4. Which is bigger: r or -679?
r
Let d(z) = 256*z + 1355. Let r be d(0). Is 1355 <= r?
True
Let r be (-17400)/(3 + (-92)/30). Let b be (-3)/r*13094 + (-3)/(-12). Let q = 11/125 - b. Are 0 and q equal?
False
Suppose -5*o = -0*o - 4*u - 136, 0 = 5*o - 3*u - 137. Suppose -p - 60 = -2*v, 4*v - 8*p + 12*p - 108 = 0. Which is smaller: o or v?
o
Let h be (-14)/(-6) - 3/9. Suppose -2*r = -4*o + 16, -r = -0*r. Suppose -h*t = -o*t + 3*t. Is t smaller than 3/35?
True
Let o = -0.45 - -0.25. Let h(x) = -13*x + 18. Let m be h(-7). Let n = -1855/17 + m. Which is greater: o or n?
n
Let m be 30/45*9/2. Suppose 2*c - 3*j - 306 = 0, -5*c - m*j + 942 = 219. Which is smaller: 146 or c?
146
Let q(t) = 385*t - 771. Let z be q(2). Is z smaller than 1/3550?
True
Suppose -5*m - 3*j + 0*j + 4 = 0, m - 2 = -j. Is 8/23 greater than m?
True
Let c = -2909 - -136721/47. Suppose -5*j = -6 - 4. Suppose -1 = -g + 2*b, g = -3*g + j*b - 2. Which is smaller: g or c?
g
Suppose -3*x - 104 = -5*r + 9, 0 = 5*r + x - 129. Let h = 48 - r. Is 21 bigger than h?
False
Let y be (-81)/6*(-195)/(-285)*2/(-3). Is 6 < y?
True
Let k be 6/9 - (-92352)/792. Let p = k + -6145/66. Which is greater: 25 or p?
25
Let x be 4792/(-16)*(-1)/2 - 9/12. Which is bigger: 143 or x?
x
Suppose 0 = -69*o + 417 - 348. Which is greater: 3/242 or o?
o
Let h be 2 + (-2)/1 + 2. Let k be -5 - (-1 - 2/h). Suppose 19*x + 2046 = 1989. Is k > x?
False
Let y be 6*(-1)/24*72. Is y greater than or equal to -22/25?
False
Let a = 61.4 - -9.6. Let b = a - 49.92. Let h = b + -21. Which is smaller: h or 2?
h
Let k be (4/(-150))/((-117)/12870)*10/(-196). Is k smaller than 0?
True
Let w = -94/11 + 19895/2332. Let n = w + -3371/1484. Suppose 5*d - 114 = -124. Is n smaller than d?
True
Suppose -209*m = -46*m + 105*m + 107736. Is m > -402?
False
Suppose -69 + 69 = -6*l. Which is smaller: 60/79 or l?
l
Suppose 0 = -2*l + 15*r - 16*r - 9, 0 = 3*l + 3*r + 24. Is l != 23266?
True
Let v = 39 + -15. Let y = 122 - v. Let l be (-8)/y*(-4)/(-8). Is l > 0?
False
Let z(l) = -l**3 + 13*l**2 - 6*l + 15. Let i be z(11). Suppose -3*c + i = 215. Let t(n) = -n - 7. Let j be t(0). Is c smaller than j?
True
Let q = -6.6 - -6.702. Let f = q + 5.198. Let i = 5.3 - f. Which is smaller: i or -2/5?
-2/5
Suppose 4 = -3*v + 1. Let f(i) = i - 2. Let p be f(v). Let r = -55 + 53. Which is smaller: p or r?
p
Let z = 16981/25 - 679. Suppose -23*d = -44 - 232. Let f be 1 + ((-20)/24 - 2/d). Is z not equal to f?
True
Let f(q) = q**3 + 15*q**2 - 321*q + 81. Let a be f(-27). Which is bigger: 9/409 or a?
9/409
Suppose 3*r - 11*r - 560 = 0. Let i be (-1 - 11)/3*5/r. Which is smaller: 0.03 or i?
0.03
Let i be -1*37*(-2)/8. Suppose -2*d = 4*g - 64, -7*d = -10*d - 4*g + 92. Suppose 1 - d = -3*y. Which is bigger: y or i?
i
Suppose -3*x + r + 150 = 0, -x - 3*r = 2*r - 34. Does x = -19?
False
Suppose -2*l + 5*v - 12 = 16, 4*l = 4*v - 44. Let w be (-1)/(-1*(-8 - l)). Let c be 2/4 - (-99)/(-246). Which is greater: w or c?
w
Let s(y) = 5*y - 62. Let a be s(14). Let i be a/3 + (-70)/42. Is -1/230 smaller than i?
True
Suppose 3*h + r + 4 = 0, -r = 4*h + 65 - 61. Which is smaller: h or 2/26619?
h
Let q be (-2)/13 + (64/14656)/(52/(-5344)). Is q not equal to 0?
True
Suppose 4*q = -26 - 42. Let g = -17 - q. Let m be 1*((-10)/8 + (-1122)/(-840)). Which is greater: m or g?
m
Let q = -5186.3 + 5415. Let y = q - 229. Which is smaller: y or -43?
-43
Let d be ((-390)/30)/((-2)/(-2)). Let c(n) = -9*n - 117. Let k be c(d). Is k >= -3.8?
True
Let i be 1332275/(-32515) + 44 - (4 + -1 + 0). Do i and 0 have different values?
True
Let u be 102/(-88) - 25/(-100). Suppose 0 = d + 4*d - 20. Let m be -1 + d + 2 + -5. Is m <= u?
False
Let y(g) = -g**3 - 5*g**2 - g + 6. Let u be -3 - (0 + (-7 - -1)). Suppose 12 = u*d - 6*d. Let z be y(d). Which is bigger: -24/5 or z?
-24/5
Suppose 0 = -5*i + 5*y - 1850, -309*y = -3*i - 310*y - 1110. Which is smaller: -4 or i?
i
Let b be (1 - (-17)/3)*(-153)/102. Suppose 4*p - 12 = -0*p. Suppose 0*n - p*n - 30 = 0. Are b and n nonequal?
False
Suppose -2*d - 3*k = -4*d + 57, d = -2*k + 25. Let i(q) = -q**3 + 4*q**2 - 3*q - 7. Let o be i(5). Let h = o + d. Which is smaller: h or -17?
h
Let h(y) = 7*y**2 + 142*y + 342. Let q be h(-17). Is 24 at least as big as q?
True
Suppose -30*r + 21*r - 27 = 0. Let n = 15 + -13. Let w be (-1 - n/(-4))*(2 + 0). Is w not equal to r?
True
Let f be -1*(-6)/3 + -1. Let v = 75 + -128.9. Let q = 39.1 - v. Is q >= f?
True
Suppose -10 = 5*c, 0 = -2*y - 2*c + 145 - 311. Is -1214/15 at least y?
True
Suppose 0*a = -5*a + 125. Let g be ((-2)/a)/(3*(-4)/70). Suppose p = 2 - 1. Are g and p nonequal?
True
Let h be 2/(-15) + (-118184)/(-330). Suppose -8 + h = -7*r. Let q = r - -70. Is 18 at most q?
True
Suppose 0 = -362*h + 445*h + 7304. Which is smaller: -53 or h?
h
Let b be 8/6*(-3)/10. Let v = 56262 - 56262.039. Which is smaller: b or v?
b
Let u = 751 + -695. Suppose 114*m - 100*m - u = 0. Let f be (1 - (-1)/(-3))*3. Is f greater than or equal to m?
False
Let c = 20 - -298. Let k = 317 - c. Which is bigger: k or -0.057?
-0.057
Suppose -5*j + 6 + 9 = 0. Suppose 0 = j*s + s. Let a be (0 + 2/42)*(362 + -365). Is s != a?
True
Suppose -11*q = 50 + 38. Let j be ((-4)/q - 0)/((-7)/112). Is -168/23 > j?
True
Let q be (-1241)/(-9928) - 2/((-48)/5). Which is greater: 129.84 or q?
129.84
Let m = 16295338/6165 - 13216/5. Is m less than 0?
False
Let m be 15133/148 - ((-39)/(-6) + (-5)/10). Which is greater: m or 97?
97
Suppose -144*v = -11*v - 16492. Is v >= 191?
False
Let a = 8866 + 2456. Let q be 56646/a - (-2)/(4/(-10)). Is 1 not equal to q?
True
Let r be ((-12 + 2)/(-60))/(6/(-3288)). Suppose 3*l - 449 = 5*n, 2*l = 5*n - 2*l + 447. Is r greater than n?
False
Suppose -3*t + 47 - 218 = 0. Let y be 3/((-9)/159) - (13 - 9). Let i = 1 + y. Is t smaller than i?
True
Let z(c) = -c**2 + 29*c + 61. Let t be z(31). Which is smaller: 4/2985 or t?
t
Let h(v) = -11*v**2 + 4*v**2 - 3 + 8*v**2 + 2*v. Let x be h(2). Suppose 4*q = -x*p - 97, -2*q + q - 22 = -p. Is -23 at most as big as q?
True
Let f(j) = 256*j**2 - 18 + 2*j - 257*j**2 + 7*j. Let g be f(3). Which is bigger: 2/167 or g?
2/167
Let h = 169 + -168.873. Let r = h + 0.073. Let o = 3 - 2.5. Which is smaller: o or r?
r
Suppose -28*l + 22*l = -1638. Which is smaller: l or 1366/5?
l
Suppose 2*a + 255 = c + 26, -473 = 4*a + c. Let w be ((-51)/2)/(-3)*78/a. Suppose 4*m - 2*q = -20, -47 = 5*m + 4*q - q. Which is bigger: m or w?
w
Suppose 0*s = s + 16. Suppose -13*p + 12*p = -22. Suppose -p*n + 19*n + 15 = 0, -3*f - 2*n = 35. Does s = f?
False
Let a be (-1152)/12*(3/5 - (-8)/20). Which is smaller: a or -24?
a
Let u(f) = 2*f**2 + 41*f + 32. Let l be u(-22). Let m = l - 98. Suppose -7*b + 4*b + 3*r = m, 0 = -4*r + 4. Is b > -2/19?
True
Let n = -2649 + 2648. Which is bigger: -27/20 or n?
n
Let s = -1 - -1.6. Let w = 45848 - 45828. Is w <= s?
False
Let y be 8 + -15*(-16)/6. Let o be (-12)/14*(-224)/y. Let u = 20 + -12. Which is bigger: u or o?
u
Let c(l) = -27*l + 84. Let n be c(0). Is n != 29?
True
Let v = -33.6 - -8.9. Let q = v + 24.6. Which is smaller: q or 200?
q
Let a(y) = -8*y - 10. Let h(v) = 3*v + 3. Let r(d) = 4*a(d) + 11*h(d). Let t be r(7). Let x be 1/((-33)/(2 - 5)). Do x and t have the same value?
False
Suppose 4*o = -t + 10567, -3*o + 24*t = -6658 - 1193. Is o at least 2641?
True
Let z(o) = -5*o**2 + 104*o - 2210. Let i be z(25). Which is smaller: -2734 or i?
i
Suppose -s = 5*y - 7 + 6, -4*y = -4*s - 20. Let i be 2*442/(-12) - s. Which is smaller: i or -69?
i
Let c(k) = -18*k**2 - 3*k + 1. Let o(d) = -d**2 + 6*d + 17. Let i be o(8). Let z be c(i). Is z <= -17?
True
Let n = -323 - -2257/7. Let o = 0.78 + -0.38. Let i = o - 0.2. Is n greater than i?
False
Let j be (-5991)/(-570) + -5 - 8/10. Which is smaller: 4 or j?
4
Let f be (16/6)/(((-63)/(-7))/(-81)). Let x be -2*1 + (-48)/f. Is 1/273 less than or equal to x?
False
Let x be (-6)/((-144)/(-136))*3 + (-4)/(-2). Let j be 6/20*(-20)/(-16). Which is smaller: j or x?
x
Let v = -932/3 - -34490/111. Which is smaller: 12/77 or v?
v
L