 -13790?
False
Suppose 12 - 7 = -2*y + 3. Which is greater: y or 5.63?
5.63
Suppose -485*d = -501*d - 384. Is -57 equal to d?
False
Suppose 2*t + 11 = -5*z - 93, -z + 2*t = 28. Let j(a) = -a**3 - 6*a**2 + 7*a - 1. Let v be j(-7). Let f be (v - 10 - -4)*3. Which is smaller: f or z?
z
Let g = -848173/19 - -44630. Which is bigger: g or -12?
g
Let t = -31416 - -31186. Which is smaller: t or -270?
-270
Let j = -117.93 + 0.53. Let n = j - -119. Is -0.07 != n?
True
Let t = -47.85 + -1.15. Let x = t - -102. Let v = x - 49. Is v not equal to -0.05?
True
Let r = -124243/24760587 - -15/3149. Are r and -1 unequal?
True
Suppose -3*u + 1604 = -a, 90*u - a + 2148 = 94*u. Which is greater: 535 or u?
u
Suppose -92 = -79*b + 102*b. Is -74.3 less than or equal to b?
True
Let t = -1838 - -115796/63. Which is smaller: 0.014 or t?
0.014
Suppose -15 = -d - 10. Let m(k) = k**3 - 6*k**2 + 13*k - 39. Let o be m(d). Which is smaller: -4/31 or o?
-4/31
Let m = -404/665 - -1/133. Are m and -0.0586 nonequal?
True
Let z(b) = -2*b + 8. Let f(s) = s - 8. Let j(p) = -3*f(p) - 2*z(p). Let v be j(6). Suppose 3*i - 57 = -5*w, 112*i - 116*i = 5*w - 71. Is v <= i?
True
Let y = 0.02 + -16.02. Let n = 114 - y. Which is smaller: 1 or n?
1
Suppose -9*k - 16 = 2. Let j be -4*k/(-536) - (-1 - -1). Is j > -1?
True
Let q = 2511 - 2541. Is 76 less than or equal to q?
False
Let d be (5 - -5) + -10 - (2952/44)/(-3). Which is smaller: d or -17?
-17
Let k(w) = 6371*w**3 + 2*w**2 + 47*w + 46. Let r be k(-1). Are -6369 and r non-equal?
True
Let k = 75 - 59. Suppose 0 = 4*c - 3*p + k, 0 = 3*c - 6*c - 2*p + 5. Let b be (-3220)/100 + (8/(-10) - c). Which is bigger: -65/2 or b?
b
Let k = 1836 - 1837. Which is smaller: 8/41 or k?
k
Suppose 5*q - 125 = -5*v, -66*v - 3 = -67*v. Is q bigger than -35?
True
Let s = 619 - 647.5. Let z = s - -28.4. Which is bigger: z or 193?
193
Suppose 2151*q - 2143*q - 6864 = 0. Is 857 > q?
False
Suppose 3*n + 0*n - 3 = 0. Let j = 13829 + -13822. Is n >= j?
False
Let s be (3/(-3 - 3))/(13/(-3484)). Which is smaller: 135 or s?
s
Suppose 3*k = 3*b - 15, 2 = k + 5. Let n be b/(((-2)/33)/1). Let d = -81 - -50. Which is greater: d or n?
d
Let n = -2588 - -2585. Let p = 9 + -5.9. Which is greater: n or p?
p
Let g = -0.07141 + 57.07141. Let v = -69 + 10. Let s = g + v. Is 9/8 at least as big as s?
True
Let h be 22/66 + 10/(-3) + -534. Which is smaller: h or -539?
-539
Suppose 5*l - 18 + 23 = -5*y, 2*l + 6 = -4*y. Suppose -3*g = 4*i - l, 4*g - 10*i = -11*i - 3. Which is smaller: -3/214 or g?
g
Suppose 41 + 197 = 2*o. Let f = 93 + 27. Which is bigger: o or f?
f
Let a(u) = u - 48. Let b(i) = 3*i - 96. Let k(t) = 11*a(t) - 6*b(t). Let c be k(7). Let o be 66/48 - (c + -2). Which is smaller: 5 or o?
o
Let h = -0.6739 + -1.1261. Let w = 19.284 - 0.084. Let z = w - h. Are z and -0.1 nonequal?
True
Let x = -3495 + 3499. Is x > 151/57?
True
Let w be 8 + -12 + 148/34. Let x(f) = f**3 + 5*f**2 + 3*f - 4. Let c be x(-4). Suppose -h + 6*h = c. Is h < w?
True
Let u(k) = -45*k - 406. Let v be u(-9). Is v at most as big as -7/20?
True
Let q = 5 - 48. Let g = 184 - -120. Suppose 16*o = -g - 368. Is q greater than o?
False
Suppose 43 = b - 5*q, 10*q + 56 = 2*b + 15*q. Which is smaller: 35 or b?
b
Let n = -8.58669 - 431.44031. Let d = n + 440. Is 2 greater than or equal to d?
True
Suppose 2*i = -778*j + 777*j + 10, -3*j + i = 5. Which is smaller: -84/313 or j?
-84/313
Suppose 0 = -7*k - 24*k + 22661. Let c = k - 442. Is c > 289?
False
Let y = 23097644/55 - 419970. Is -12 greater than or equal to y?
True
Let i = -161 + 143. Let d be (i/(-4))/(11 + -8). Is d < 0.8?
False
Suppose 5*q = 10*q - 4*j + 196, 84 = -2*q - 4*j. Let c = 41 + q. Let b = -4/83 - -376/913. Which is greater: c or b?
c
Let k be (30/14)/((-21)/(-448)*20/15). Is k at least 33?
True
Suppose -g + 0 = 3*m - 10, -3*m = 4*g - 58. Suppose -4*r + g = -0*r. Let a be -3 + r/(16/12). Is -1/72 <= a?
True
Suppose -v - 9*b - 3 = -10*b, 0 = 2*v - 3*b + 6. Let l be (13 + -6)/(v/3). Which is bigger: l or -21?
l
Let n(l) = l**2 - 9*l + 21. Let t be n(3). Let r be ((-4 - -4)/7)/t. Which is smaller: 1/27 or r?
r
Suppose 13*c + 796 = 17*c. Let o = c + -797/4. Let l = 0.9 - 39.9. Which is smaller: o or l?
l
Let n be (-60)/90 - 626/6. Let k be -6*(6/(-15) - (-308)/n). Is k less than or equal to 144/7?
True
Let n = 6 + -14. Let u be 34/119 + (66/14 - (-4 - -6)). Is u equal to n?
False
Let f = 121 + -119. Suppose -2*g = -2*z - 2, -4*g - 6*z + f*z + 4 = 0. Which is smaller: g or -4/371?
-4/371
Let g(k) = -k**3 - 9*k**2 - 7*k + 12. Let b be g(-6). Let w = 102 + b. Let r be (-2)/(-15)*(-3 - (-124)/w). Which is smaller: -1 or r?
-1
Let k(f) = -21*f**3 - f + 2*f + 1 - 2*f**2 + 19*f**3. Let c be k(-1). Let m = 25 + -36. Is m < c?
True
Let m = 703.4 + -3.4. Which is smaller: m or -0.3?
-0.3
Let b = 37 - 10. Let y(o) = -o**2 + 91*o - 975. Let i be y(12). Let v = i + b. Which is smaller: v or 4/5?
v
Suppose 3*k = -20 - 13. Let t be 36/(-30)*5 + -5. Is k greater than t?
False
Suppose 0 = 25*y - 29*y + 128. Let s = 34 - y. Suppose 0 = s*h + 3*l + l - 2, -3*h = 2*l + 5. Is h equal to -9?
False
Let x be 985/65 + 2*2/(-26). Let h(m) = m**2 + m - 1. Let t be h(-4). Let k = t - x. Is -5 <= k?
True
Let l = 30.97 - 151.32. Let y = l - -119. Let r = -1.25 - y. Is r at most -1?
False
Suppose 939*o - 180 = 909*o. Which is smaller: o or -9?
-9
Let l be 1/(-10) - 31312/(-1236)*(-27)/(-40). Are -352 and l nonequal?
True
Suppose -4*v + 3*p + 1872 = 7194, -1333 = v - 2*p. Which is smaller: -1327 or v?
v
Let u be (-9 + 54/12)/((-1104)/128). Suppose -2 + 20 = 2*h. Let s be 1/(-3*(-3)/h). Which is smaller: s or u?
u
Let g = -28 - -28.1. Suppose -x = 2*c - 13, -58*x - 5*c = -60*x + 53. Which is smaller: x or g?
g
Suppose 610*n + 4 - 6 + 2 = 0. Is -3/6244 smaller than n?
True
Suppose 3*p - 6578 = 9*m - 7*m, 3*m = -4*p - 9850. Is m greater than -3285?
False
Let r be 130/845 + 126/26 + 0. Let p be 36/16*4/r. Let i(o) = o**2 + o - 1. Let u be i(1). Is u not equal to p?
True
Let x = 125 - 69. Let u be 109/(-5)*16/x. Let j = 34/5 + u. Which is smaller: j or 1?
j
Let c be (22/220*20)/(30/(-28) - -1). Let o(g) = -2*g**2 - 6*g. Let p be o(-5). Is p less than or equal to c?
False
Let m(g) = 205*g + 408. Let c be m(2). Do c and 819 have the same value?
False
Let d be 4*-94*(2 + 3*(-4)/8). Which is greater: -1135/6 or d?
d
Let u = 89 + -29. Suppose 0 = 12*w - 17*w - u. Is -18 > w?
False
Let w = -44 + 18. Let y(a) = a**3 + 127*a**2 - 122*a + 743. Let x be y(-128). Does w = x?
False
Let r be 1/((4/(-809))/(-4)). Let l be ((-591)/(-18))/(6/148). Let m = r - l. Which is greater: 0 or m?
0
Suppose 4*g = -2*b + 18, 4*g - 39 = 29*b - 24*b. Suppose 673 = o - v + g*v, 2*v = -3*o + 2084. Is 699 <= o?
False
Let r be 9/(-1) - 64/(-12). Suppose 4 = -g - f + 2, 5*f - 20 = g. Does g = r?
False
Let p(q) = 22*q**2 - q + 5. Let c(f) = 93*f**2 - 4*f + 19. Let l(a) = 2*c(a) - 9*p(a). Let j be l(3). Which is greater: j or -451/4?
j
Let t(f) = f**3 + 3*f**2 - f - 1. Let v be t(-3). Suppose -5 = c - 2*c, 5*p + 25 = v*c. Let i be ((-4)/p)/(-2) + (-113)/(-3). Is i != 37?
False
Suppose -25602 = 5*d + 20063. Is -1 > d?
True
Let m be 16/344 + 46/(-989). Which is greater: -5/394 or m?
m
Let r = 11947 + -11947. Is r > 8/801?
False
Suppose g - b - b = -2, 0 = -4*g - 4*b + 52. Let o be -10 + -33 - (-3 + 8 - 0). Let z be (889/6)/7 + g/o. Which is greater: z or 20?
z
Suppose 7*s + 49 = q + 11*s, 3*s = -5*q + 143. Suppose 4*w = 138 - 42. Which is greater: q or w?
q
Suppose 4040 = 96*o - 7864. Which is bigger: o or 173?
173
Suppose -80 = 106*p - 146*p. Let s = -7233/10 - -724. Is p != s?
True
Let b = -141 - -143. Let u be 60/(-27) + b/9 + 2. Which is smaller: u or -5/58?
-5/58
Let j = -115 - -118. Suppose 2*v + 64 = 3*w, 0 = 5*w - v - 2*v - 106. Suppose 0 = 7*y - 2*y - 5*g + w, -y = -2*g + 6. Is y not equal to j?
True
Let n(g) = g**2 + 6*g - 3. Let i be n(-7). Suppose 0 = -3*f + i*f - 1. Let s = -7567 + 7571. Is s smaller than f?
False
Suppose 4*w + 127264 = -12*f + 7*f, -8*f = -3*w - 95542. Is 2/7 != w?
True
Let m(q) = -32*q - 4. Let g be m(3). Let t be (0 - 8/5)/((-10)/g). Let r = 16 + t. Which is smaller: r or -1/6?
-1/6
Let n = 0.08 + -57.08. Let c = -38 + 91. Let x = n + c. Is x greater than or equal to 1?
False
Suppose 9*s 