-22?
False
Let y = -17.488 - -14.488. Which is smaller: y or -435?
-435
Let q = 0.123 - -2681.877. Do 1 and q have the same value?
False
Let b(y) = y - 8. Let g be b(6). Suppose 24 = p + 4*a - 4, -68 = -3*p + 4*a. Let j be (-21)/p - g - 0/(-2). Which is greater: -0.2 or j?
j
Suppose -2*j + f = -7, -j = -4*j + 4*f + 23. Let x be 166/16 - (-1)/(j - 2). Do 9 and x have different values?
True
Let o(j) = -17*j - 114. Let v(a) = -a - 9. Let g be v(-1). Let p be o(g). Is 0 less than p?
True
Let s = -714 + 1231. Let u = s - 1031/2. Which is smaller: 0.12 or u?
0.12
Let u be 10 + -1 + (-10 - (8 - 14)). Suppose 5*m - j + 13 = -u*j, -5*m + 1 = -3*j. Is m greater than -1/291?
False
Let w(c) = 622*c - 12239. Let j be w(29). Which is smaller: 40594/7 or j?
j
Suppose -4*v - 2*p + 14 = 0, -3*p + 3 = v - 2*p. Suppose 0 = v*u + 21 + 3. Let c be 1131/45 - u/(-45). Is c at most 26?
True
Let w = 341054815/255132 - 3/28348. Let p = w + -1332. Let t = 1351/279 - p. Which is smaller: 4 or t?
t
Let s be (-482)/(-6) + (-1)/3. Suppose -78 = -p + 2*k, 3*p - 234 = -30*k + 26*k. Which is bigger: p or s?
s
Let k = -43 + 371. Suppose 0 = 85*s - 93*s + k. Suppose -v - 2*f + 32 = 0, 4*v + 0*f - 164 = f. Is s != v?
True
Suppose 5*g = -14*g + 76. Let a be (g/3 + -1)*(23 + -24). Suppose r - 48 = -r - 4*u, u = -4. Which is smaller: a or r?
a
Let s = -37/6 + 15/2. Let l be (10/(-6))/(16/(-48)). Suppose 0 = w - k - k - 8, -4*w - l*k = 7. Which is smaller: s or w?
s
Let x(o) = -o**2 + 27*o - 152. Let k be x(12). Suppose -k*i + 32*i = -2528. Is -632 greater than or equal to i?
True
Let f = -69 + -40. Let o = f + 983/9. Is o smaller than 25?
True
Let d = -11535 - -6949. Which is greater: d or -4588?
d
Let l = -0.1 + 0.2. Let x = 397 - 396.942. Is l < x?
False
Let c(u) = -u**3 + 12*u**2 + 11*u + 26. Let z be c(13). Suppose -r + 0 + 1 = z. Let y(m) = -m**2 + m - 2. Let t be y(r). Is -6/5 bigger than t?
True
Let w = 57 + -73. Let u(i) = i + 69. Let o be u(w). Is 54 bigger than o?
True
Let q(g) = 74*g - 853. Let u be q(9). Suppose 10 = -3*r + 4. Which is smaller: r or u?
u
Let m = -17809 + 20382. Which is smaller: 18010/7 or m?
18010/7
Let u be (-12)/15*1/2. Let y = -948 - -416. Let b = y - -534. Is b > u?
True
Let r be 6 - ((-765919)/110 + (-2)/(-4)). Let x = r - 6942. Is 25 greater than or equal to x?
False
Suppose -s + 2 + 0 = 0, 3*r - 3*s + 69 = 0. Let v be (-364)/(-1638) - (0 - (-137)/9). Is r bigger than v?
False
Suppose 15*m = -7*m + 44. Let u be m/8 + 13490/(-54568). Is u greater than 1?
False
Let d(q) = -q**3 + 12*q**2 + 9*q + 45. Let r be d(13). Let y be -2*(8 + 6 + r). Is -14 != y?
False
Let i(q) = -q**2 - 3*q + 31. Let a(s) = s**3 - 7*s**2 + 9*s + 2. Let z be a(2). Let h be i(z). Is 27 < h?
True
Suppose 24*x - 27*x = -48. Suppose 2*j - 2*k + x = -5*k, -j - 5*k - 22 = 0. Suppose -15 = -4*b + 2*b + 3*a, -3*a - 15 = -5*b. Which is bigger: b or j?
b
Suppose 4*p - l = 35, -3*p + 4*l = p - 44. Suppose -873 = -p*h + 3*h + 4*v, h + 4*v = 165. Which is greater: 172 or h?
h
Let x(y) = y**2 - y - 72. Let v be x(-8). Which is smaller: -1/392 or v?
-1/392
Suppose 0*x = -q - 4*x + 16, 3*q = -3*x + 30. Let r be -4 - 0 - (-20)/q. Which is smaller: 61 or r?
r
Let p(r) = r**2 - 120*r - 2089. Let o be p(131). Which is smaller: o or -653?
-653
Let i(u) = u**2 + 3*u + 2. Let l be i(-3). Let q be 28/(-11) + (31 - (-7370)/(-242)). Which is smaller: l or q?
q
Suppose 0 = 125*j - 266*j + 1190604. Is 8444 smaller than j?
False
Let q = -280.448 - -279. Let i = q - 0.052. Which is smaller: 3 or i?
i
Let x be -15 - 269*25/(-445). Does x = 1?
False
Let o(l) = 12*l**3 + 157*l**2 + 10*l - 26. Let k be o(-13). Let y = 32 - 19. Is y <= k?
True
Let k be 132/28*(-126)/(-27). Suppose v - 51 = -0*c + 5*c, c + 8 = -2*v. Let n = c - -32. Is k less than n?
False
Suppose 43*t + 13*t - 1512 = 0. Suppose -2*q = 3*n + t, 3*n - 2*q - 3 + 30 = 0. Which is smaller: -19 or n?
-19
Suppose -67*n + 8 = -71*n, -4*u = 2*n + 8. Which is bigger: -3/670 or u?
-3/670
Let r(l) = -28*l**2 + 1068*l - 116. Let n be r(38). Is -2 equal to n?
False
Let z = 7856 - 7880. Which is smaller: -5 or z?
z
Let m = 17/92 - 1601/9660. Is 0 greater than m?
False
Let y be 0 - -3 - (-18)/(-3). Let o be (-25)/(-3) + y/9. Let m be (0 - 1/(-1))*(-2)/o. Does 2 = m?
False
Let b be -18 + (-208)/6 + (-8)/6. Suppose -r = 2*r. Suppose -7*y - 157 = -4*y + 5*z, -4*z + 4 = r. Is b greater than or equal to y?
True
Let x = -44 - -35. Let n(d) = -d**3 - 8*d**2 + 8*d - 3. Let w be n(x). Suppose q + q = t - w, -4*q - 32 = 3*t. Is t smaller than 1?
True
Let r(t) = -45*t - 2. Let y be r(-6). Suppose -95*l = 129*l - 60480. Is l equal to y?
False
Let v be 2/2*(1 + 6)*-9. Let f = 62 + v. Let i be f/(-2) - 6/28. Does 0 = i?
False
Suppose -33*o - 15*o - 3 - 45 = 0. Which is smaller: o or 128?
o
Let p be ((-330)/200)/(522/(-132))*10/4. Is 2 greater than or equal to p?
True
Let y = 803/345 + 2/345. Let v = 74/15 - y. Suppose 24*g = -62*g + 258. Are g and v nonequal?
True
Let g = -151.5 + -9.2. Let k = g + 170. Let r = k - 9.4. Which is smaller: r or 0.1?
r
Let z = -0.246 + -7.754. Let c = -10 - z. Do c and -0.009 have the same value?
False
Let h = 12756 - 12860. Is h >= 3?
False
Let d = -475 - -485. Suppose 0 = -d*z + 5*z + 2*p + 215, -5*z - 2*p + 215 = 0. Which is bigger: z or 45?
45
Suppose -2*y = -3*g - 7*y + 42, -y = -5*g + 42. Let d(s) = 10*s**2 + 12 + 8*s**2 - 9*s**2 - 12*s. Let h be d(1). Is g at most h?
True
Let o(r) = 3*r + 75. Let f be o(-24). Suppose -4*v + 33 = f*j, 2*v - 4*j - 22 = -0*j. Let l be ((-5)/1)/(6/(-9)). Are l and v non-equal?
True
Let h = -5782 + 5763.6. Is -37 greater than or equal to h?
False
Suppose 5*k = 3*j - 257, -5*j - 5*k + 27 + 388 = 0. Let w be 2/7 - 3860/j. Let r = w - -45. Which is smaller: -42 or r?
-42
Suppose 56 = -q - 3*p + p, -4*q - 2*p - 212 = 0. Let j be 12/(-18) + q/(-6). Suppose 2*b + 3*k = 3, 0*b + 5*k = -5*b + 20. Is b less than j?
False
Let y = 0.141 + -188.141. Let s = y + 187.992. Is s smaller than 2?
True
Suppose 3*u = -4*g + 52, -4*g + 0*g = -5*u - 20. Suppose -28*b = -g*b + 5562. Which is smaller: -310 or b?
-310
Let t(w) = -w**2 + 18*w + 44. Let a be t(20). Let m be (a/5)/((-424)/70 + 6). Does -13 = m?
False
Let w be (10/35)/(3/(-6) - -1). Let v = w - -44/21. Do v and 4/7 have different values?
True
Suppose 0 = -5*r + x - 109259, -98*r = -91*r + 5*x + 152969. Is r >= -21852?
True
Let b = 198 + -193. Is 53/9 >= b?
True
Let v = -1.2 - 347.8. Let a = v + 347. Is a less than -39?
False
Suppose -5*r = -5*o - 5, -o - 1 = -4*r + 8*r. Let p = -1022/4455 + 7/405. Is r less than or equal to p?
False
Let v = -29 - -42. Let z(l) = 0*l**2 + 24*l + 0 + 5*l**3 - 5*l**3 + 7*l**2 - 39 - l**3. Let x be z(9). Which is smaller: x or v?
v
Let r = -1039 + 1077. Let s = -375 - -412.8. Let b = r - s. Which is greater: -4 or b?
b
Let p(u) = -u**3 + 51*u**2 - 126*u - 864. Let z be p(48). Which is bigger: 1/17189 or z?
1/17189
Suppose -119*v = 4*g - 118*v - 2, -5*v = 3*g - 27. Which is bigger: g or 2/35393?
2/35393
Suppose 13825 + 6667 = -47*m. Is m at most -23?
True
Let u be (240 + -6)*(-20)/6. Let i be (((-24)/9)/1)/((-8)/u). Let q = i + 3376/13. Do 1 and q have the same value?
False
Let b(l) = -4*l**2 + 6*l - 5. Let t be b(6). Which is greater: -127 or t?
t
Let o = -473 - -145. Let c = 328.1 + o. Are -0.015 and c non-equal?
True
Let z = 62.34 - 64. Let q = z + 1.68. Which is bigger: q or 0.11?
0.11
Let j = -7.711 - 0.289. Which is bigger: j or -206?
j
Let f(v) = -3*v + 14. Suppose -o + 4 = 0, -7*h - 3*o = -9*h + 4. Let k be f(h). Is -10 < k?
False
Let r = -94.87 + 89.51. Is r <= 0.1?
True
Let l = -92 + 181. Let q = -53 + l. Let j = 58 - q. Do 23 and j have the same value?
False
Suppose -21*w - 2166 = -26*w + a, 0 = 5*w + 5*a - 2130. Is w greater than 435?
False
Let b be (24/(-21))/(-2) - 3952/1820. Let s = -12.5 - -13. Is b < s?
True
Suppose 5*i = -2*l + 49, -4*l + 3*l + 29 = i. Let n(w) = 34*w**2 + 4*w + 5. Let p be n(-1). Which is bigger: l or p?
p
Let w(f) = f**2 + 15*f - 96. Let n be w(5). Suppose -y - 4*g = 0, 2 = g - 0*g. Let o be (-5)/(-30)*(-198)/y. Which is smaller: n or o?
n
Let m = 10513/575960 - 7/4840. Let c = 0 + -0.1. Is m < c?
False
Let z(k) = k**2 - 4*k. Let l be z(5). Suppose -7 = -3*v + l. Let n be (1/6 + v/12)*0. Which is sma