2*i - 96 = q. Let n = -88 - q. Which is greater: 3 or n?
3
Let y(i) = -6*i**2 + 11*i + 19. Let o be y(-5). Let f = o - -175. Suppose -a - j + 3 = 13, 4*a + 33 = 3*j. Do a and f have different values?
True
Let a be 64/12*-2*9/(-3 - -6). Is -11 <= a?
False
Let o be (288/16)/(-6) + 5/((-130)/3528). Which is smaller: o or -138?
o
Let m = 4/34011 - -3661831/170055. Is m greater than 22?
False
Let o = 16840 + -16828. Which is smaller: 0.54 or o?
0.54
Let d(h) = 2*h - 171. Let z be d(27). Suppose -164 = 2*s + 72. Which is bigger: z or s?
z
Let c(m) = 1818*m**2 - 3*m + 3. Let b be c(1). Suppose 3*d + b = 1815. Is -1/187 bigger than d?
True
Let p(s) = 582*s - 9. Let y be p(-5). Let c = y - -113812/39. Let b = -277/117 + c. Which is smaller: b or -4?
-4
Let m(l) = -111*l - 888. Let d be m(-8). Is d < -1/10381?
False
Suppose 4*p = 2*q + q + 11, 0 = q + 4*p - 23. Suppose -q*a + 33 - 12 = 0. Is a at most 7?
True
Let h = 249 + -225. Let d be 11/33 + (34/h - 2). Is 82 smaller than d?
False
Let h = -11950 + 11948.64. Is -59 greater than or equal to h?
False
Suppose 2*c + k = -22 - 19, -2*c + 2*k - 26 = 0. Are 11 and c equal?
False
Let d = -8978 - -8979. Which is greater: d or -0.0435?
d
Let g = 42 - 40. Let r be 0 + 4/g + 8. Suppose 6*q - q = -r. Does -2 = q?
True
Let n = 0.1287 - 0.3787. Which is bigger: -41/4 or n?
n
Let l(j) = -j**2 + 5*j - 3*j**2 - 581 + 1157 - 582. Let c be l(7). Is c at least -167?
True
Let l(p) = 4*p**2 + p + 1. Let y be l(-1). Let f(o) = -12*o - 3*o**2 - y - 13*o + 9 + 2*o**2. Let w be f(-25). Is 4 at least as big as w?
False
Let t be 87/6*6240/24. Which is bigger: t or 3771?
3771
Let u be ((-7)/(343/(-42)))/(1/21). Let a be (24/u - 6)*(0 - 6). Which is bigger: a or -0.1?
a
Let c(a) = 3*a**2 - 38*a - 3. Let z be c(13). Let x = -497 - -1523/3. Which is bigger: x or z?
x
Let k = 375 - 217. Let l = -157.8 + k. Let z = -20.83 + -0.17. Is l < z?
False
Let j = 0.193 + 0.037. Let v(x) be the first derivative of 2*x**3/3 - 17*x**2/2 + 28*x + 14. Let u be v(6). Is u > j?
False
Suppose 0 = -110*h + 109*h - 120. Let c = -150 - h. Which is smaller: -92/3 or c?
-92/3
Let z be (-1 + 1)/(2 - -1). Let q = 861/34091 - -1/467. Which is greater: q or z?
q
Let k = -9294 + 9274. Which is greater: k or -265?
k
Let g(n) = -n**2 - 3*n - 1. Let f be g(-3). Let l be 1*f - -4*115/10. Let v = l + -48. Which is smaller: v or -7?
-7
Let d(m) = -50*m - 594. Let s be d(-12). Is s at most as big as 19?
True
Let c = -161.8 + 251. Let y = -89.29 + c. Is y bigger than 26?
False
Let t = 1676 - 2018. Is t at most -342?
True
Let a = 0.5788 + 1.4212. Which is smaller: -125 or a?
-125
Let y = -0.65 + 0.521. Let m = y + -1.871. Which is greater: 9/4 or m?
9/4
Let s = 23 + 23.1. Let z = -19 + s. Is z >= 0?
True
Let o(y) = 2*y**2 + 42*y + 102. Let b be o(-18). Let h be (-39013)/78 - 8 - 1/b. Is -508 bigger than h?
False
Let m(x) = 23*x + 241. Let f be m(-10). Suppose -f*h = -44 - 121. Is h at least as big as 17?
False
Let f = 227.631 - 228. Let v = 0.169 + f. Are v and 0.026 equal?
False
Suppose 0 = -14*o + 1871 - 345. Let x = o - 131. Which is greater: -109/5 or x?
-109/5
Let n = -20450 + 20484. Is n less than -6.3?
False
Let y = 320.3 + -5823.3. Is y at most 1?
True
Let n be 3384/40 + 2/20*4. Let d(s) = -2*s**2 + 7*s + 32. Let v be d(6). Which is smaller: v or n?
v
Suppose -350 = 16*b + 274. Let v be -32 - b - (0 + 4). Is v less than or equal to -7?
False
Let h(c) = 162*c + 386. Let s(t) = 40*t + 96. Let l(w) = 6*h(w) - 22*s(w). Let g be l(-9). Is g smaller than -624?
False
Let d = 110659 - 110660. Suppose 0 = h - 5 - 15. Let v be (-1)/4*h/6. Is v less than or equal to d?
False
Let w be (-2 - 6)/(-2) + 96. Let j = 86 - w. Are 2 and j nonequal?
True
Let f = 931 + -495. Let g be (-1 - -2) + (-428)/f. Suppose 146*d - 150*d = 4. Is g smaller than d?
False
Suppose 2*a - 44 = -s + 55, 79 = 2*a + 5*s. Suppose -189 = -3*c - t - 32, 0 = 5*c + 4*t - 250. Which is greater: a or c?
c
Let t be ((-6)/(-4))/((-2)/12). Let l be 2/((320/(-100))/8). Is t at most as big as l?
True
Suppose 4*y - g + 101 = 2*g, 0 = 4*y + 5*g + 109. Let n be y*2/(2/(-3)*2). Suppose -v = -4*v + 114. Which is smaller: v or n?
v
Let t = 18732 - 18689. Are -69 and t unequal?
True
Let t = -64 - -62. Let v be t/7*(-70)/5 + 3. Let d be ((-4)/(-2))/(v/((-714)/(-4))). Do 50 and d have the same value?
False
Let y be 10/(-2) - -1 - (-2 + -2). Suppose 4*f - 3*k - 272 = y, f + 2*k - 68 = k. Let u be 4/(-34) + (-2 - (-756)/f). Is u < 10?
True
Let a(n) = -2*n**3 + 16*n**2 - 17*n - 14. Let k be a(6). Let h(r) = r**3 - 11*r**2 - 7*r + 10. Let q be h(12). Let l = q - 41. Which is smaller: k or l?
k
Let y be 1 - (-18)/(-22) - 27352/(-88). Suppose 0 = 3*q + a + 90 - y, 0 = 4*q + 2*a - 292. Let l = -36 + q. Which is smaller: l or 0?
0
Suppose 0 = -h - 12*h - 3*h. Let t = -205471/124 + 1657. Is t at most as big as h?
True
Let b be (-36)/(18/(-3)) + -4. Let r be 4/(b/(-64)*4). Are r and -33 equal?
False
Let w = 16237719/31 - 523749. Which is bigger: 49 or w?
49
Let u = -367 + 379. Suppose -2*v - s = -2*s, u = -4*v - 4*s. Let y = -906/13 + 70. Which is smaller: v or y?
v
Let c = 6092 + -6063. Is c >= 20/3?
True
Let c = -1.672 - 0.328. Let g = -47 - -21. Let v = g - -18. Is v at least c?
False
Let a be 5130/(-76)*116/(-5)*4/8. Which is bigger: a or 788?
788
Let u = -52.9 - -463.9. Let d = 410.8 - u. Is -34/7 greater than or equal to d?
False
Suppose 28 = -7*c + 6*c - r, -c - 5*r = 20. Let x be -1 - 3/(9/(-681)). Let s be (-6)/8 - x/8. Is s bigger than c?
True
Let q = -33 - -32.8. Suppose -3*f + 8*f = -3*y + 166, -4*y + f + 206 = 0. Which is smaller: q or y?
q
Suppose -q - 4*n = 957, -n - 2906 = 3*q + 4*n. Let x = 10739/11 + q. Which is smaller: x or 0?
x
Suppose 5*g = 5*j + 525, 2*g + 40 = -4*j + 298. Which is bigger: g or 105?
g
Let q be (-104355)/90*(-2)/(-4). Which is smaller: -581 or q?
-581
Suppose -30 = q - i, 0*q + 5*i = -4*q - 120. Let x = -37 - q. Let v = -7 - x. Is v at most -9/11?
False
Let o be (-165)/(-21) + (-9)/1. Let u = 7 - 6.9. Which is smaller: u or o?
o
Let a = 15.6 - -87.3. Does a = 0.2?
False
Let w = -7.47 + 117.19. Let m = -111 + w. Let l = 0.98 + m. Is 2/3 less than l?
False
Suppose 2*u = 4*u + 246. Let c = 14 + u. Let h = -109 - c. Is h greater than -1/15?
True
Let i be 1347 + -1342 - (0 - -1 - -3). Is 14/355 < i?
True
Let z be (-14)/10 + 98154/(-315). Let h be ((-1)/z)/(6/(-4) + 1). Which is greater: h or 0.3?
0.3
Let h be (-5 - (-336)/66)*-2*(-6)/(-4). Is 16 less than h?
False
Let v(z) = -177*z - 207. Let i be v(-3). Let l = i + -493. Which is bigger: -171 or l?
l
Suppose -51*h - 75 = -66*h. Suppose -h*b + 4*m - 30 = -2*b, -10 = b + 4*m. Is b at most -10?
True
Suppose 4*b + t = -1 + 5, 3*t = -5*b + 5. Let v = -118 - -68. Let z = v + 697/14. Which is bigger: b or z?
b
Suppose -3087 - 3944 - 3204 = 23*d. Is -445 at least as big as d?
True
Suppose 8*m + 0*m - 4520 = 0. Suppose -227 - 332 = -5*s + t, 0 = 5*s + 5*t - m. Which is greater: s or 113?
113
Suppose -14 - 34303 = -31*i. Which is smaller: 2/5 or i?
2/5
Let o = -0.6 + -0.3. Let y = o + 2.4. Let v = -0.3 + y. Is v <= -1?
False
Let l be (1 - -1)/((-4)/8). Let s be (-2)/l*-6 - 2. Suppose -32 = 5*g - 2. Which is smaller: g or s?
g
Let t = -604 + 843. Let d = t - 244. Let m = 4 + -6. Which is bigger: m or d?
m
Let t = -50.7 - 841.3. Let v = 895 + t. Which is smaller: v or 18/19?
18/19
Let z(a) = -49*a - 1713. Let w be z(-35). Which is bigger: w or 26.49?
26.49
Let u = 2.891 + -2.991. Which is smaller: u or 3116?
u
Suppose 10*k - 1 = 19. Let q(b) = 7*b**2 - 12*b + 2. Let j be q(k). Which is smaller: 34/5 or j?
j
Let n = -7323099/53356 + -3/13339. Is -138 not equal to n?
True
Let g = 2/174161 + -523702133/522483. Which is smaller: g or -1001?
g
Let u(k) = 748*k + 106965. Let s be u(-143). Let i = 616 - 207593/337. Which is greater: s or i?
s
Let r = -5523 - -38663/7. Is r at least as big as -2011?
True
Let z be 14/30*(-15)/(-70) + 12253/(-122730). Are z and -1 equal?
False
Suppose -4 = u + 3*q - 1, -q = 2. Suppose 3*r + 0*r = u*x + 27, -5*x = 3*r - 19. Is -2 equal to r?
False
Suppose 5*a + 2*b = 97, -2*b - 2*b = -2*a + 34. Let w = 325 - 353. Let x = a + w. Is x greater than -9?
False
Let z = -119 + 135.09. Let q = z - 0.09. Let u = q + -16. Which is greater: u 