. Do v and 0.1 have the same value?
False
Let b(f) = -f + 11. Let p be b(9). Suppose 0*g - 5*g + 25 = -4*r, p*g = -5*r - 56. Is r equal to -12?
False
Let c = -119/4 - -30. Is 123 at most as big as c?
False
Let l be ((-1 - -3) + -32)*(-13)/(-403). Is l smaller than -1?
False
Suppose 0*t = -5*t + 4*d + 4, d = -2*t + 12. Suppose 11*b + t = 15*b. Which is smaller: 1/6 or b?
1/6
Let r(x) = 3*x**3 - 3*x**2 + x - 11. Let f be r(5). Is 294 != f?
False
Let j = -1390 + 965. Let f be (-4)/(-16)*(-59320)/(-35). Let a = j + f. Which is smaller: -2 or a?
-2
Suppose -11*s + 0 + 110 = 0. Suppose -1 = 4*w - 13. Is w < s?
True
Let s(u) = -16*u - 5. Let x be s(-5). Let r be (-4)/8 - x/(-140). Which is smaller: r or 2?
r
Let h be (7/(-28) - 599/(-12)) + 2. Is 51 less than h?
True
Suppose -2*m - 1327 = 5*b + 2*m, -1040 = 4*b - 4*m. Which is greater: -262 or b?
-262
Suppose 0 = -q - 5*w + 25, 3*w + 52 = 5*q + 11. Let n = 10 - q. Suppose 0 = -4*y - 8, -3*d + y + 3*y + 2 = n. Is -3/4 < d?
False
Let u = 45.8 + -47.8. Let i be 0 + (-3)/(15/(-418)). Let k = -83 + i. Which is smaller: u or k?
u
Suppose -4*u + 24 = -s, -61*s + 59*s + 4*u - 32 = 0. Are -38 and s unequal?
True
Let i = -109385/89 - -1229. Is 0 > i?
True
Let i(d) = -2*d**3 - 2*d**2 + 3*d + 2. Suppose -3 = -5*f - 13. Let z be i(f). Let x be (240/(-50))/(z/(-10)). Is x greater than 12?
False
Let j = -8 + 19. Suppose -10 = 4*x - 3*x. Let c = j + x. Which is smaller: 2 or c?
c
Let h = -1.63 + 4.73. Which is greater: -0.2 or h?
h
Let u be ((-2)/4)/((-19929)/(-3318) + -6). Which is bigger: u or -84?
u
Suppose -56*f = 350 + 98. Is f at most -60/7?
False
Let x(y) = 27*y - 1. Suppose 7 = 2*b + 5. Let m be x(b). Suppose 0 = k + k - m. Which is smaller: k or 14?
k
Let q = 21.4 + -26.4. Which is smaller: 19 or q?
q
Suppose 3*q + 5*c - 13 = 0, q + 2*c + 20 = 25. Do 1/97 and q have different values?
True
Let k be (3812770/(-627))/((-14)/(-4152)). Let w = k + 1803443. Let v = w - 2/77. Which is greater: -1 or v?
v
Let z be -2*(0 - 9/6). Let k(o) = z*o**3 + 2*o - 4*o**3 - 3*o. Let c be k(1). Is 1/5 != c?
True
Let t(v) be the third derivative of -v**6/120 - 5*v**3/6 - 8*v**2. Let k be t(0). Is -4 less than k?
False
Let a = -266 - -290. Which is smaller: a or 22?
22
Let g = 78 - 75. Let q be (2 + 46/g)*1/4. Suppose 0 = 5*o + 2*f - 12, o = 3*f - 4*f. Is q < o?
False
Let u = 49 + 9. Let r = u - 57.9. Suppose 5 = -5*y - 5. Is y smaller than r?
True
Let s(g) = g**2 - 15*g + 87. Let r be s(14). Is r at least as big as 73?
True
Let h(a) = a**3 - 11*a**2 + 12*a - 9. Let i be h(10). Let o = -14 + i. Are o and -3 non-equal?
False
Let m = 712 + -242. Is m >= 470?
True
Suppose -10*k + 279 = 59. Let q(w) = w**2 - 3*w + 4. Suppose 4*j + j - 30 = 0. Let t be q(j). Is k less than or equal to t?
True
Let l be (-146)/511 - 1180/(-14). Which is greater: 422/5 or l?
422/5
Suppose 4*m + 27*n - 24*n = 893, -m + 3*n + 242 = 0. Which is smaller: 225 or m?
225
Let v = 38.5 + -7.5. Let x = -30 + v. Let c = 2 + -6. Is x greater than or equal to c?
True
Let b be (-1 - -4) + (2 - 0). Suppose -f + 4 = -b*f. Which is greater: f or -2?
f
Suppose i - 2*i = 3*r - 1898, 3*r = i - 1892. Suppose -5*q - i = 10915. Let j be (-4)/(-14) - q/1323. Is j less than or equal to 2?
False
Let l be (4 - 7)/3 + 5. Suppose 4 = -2*o + 2*p, -13 + 0 = l*o + p. Is o < -5?
False
Let r = 109/4 - 27. Which is greater: r or 0.083?
r
Let z = -44 + -2. Let m = -21 - z. Which is smaller: 23 or m?
23
Suppose -32 = 5*z - 32. Suppose 4*b + 5*i + z*i + 23 = 0, -5*b = -i + 7. Which is bigger: -5 or b?
b
Suppose -5*q + 0*i = 2*i - 408, -3*q + 5*i = -251. Suppose 0 = 2*r - w - 38 - 120, -3*r - 5*w = -263. Is q > r?
True
Let a = -0.189 + 0.129. Which is bigger: a or 14?
14
Let s(v) = -v - 7. Let i be s(-19). Let w be 75/5*(-8)/i. Is -6 > w?
True
Let h(f) be the first derivative of -2*f**3/3 - 5*f**2 - 8*f + 28. Let d be h(-4). Which is smaller: 1 or d?
d
Let n = 31555/37 + -853. Which is smaller: 1 or n?
n
Let f(o) = -o**2 - 4*o + 1. Suppose 8*w + 14 = 2*m + 3*w, 0 = -4*m + 3*w + 14. Suppose -2*c - 10 = m. Let b be f(c). Which is bigger: -12 or b?
b
Suppose -4*q - p = 8, 2*q = q - p - 2. Let z be 38/(q/(3/(-3))). Let o = 20 - z. Which is bigger: -2/11 or o?
o
Let h(r) = -15*r**3 + r**2 + 2*r + 1. Let i be h(-1). Suppose 2*o + 2 = 3*z + 31, -i = -5*z. Suppose 3*y - 4*y - o = 0. Which is greater: y or -20?
y
Let o(n) = -n + 9. Let r be o(6). Let s(q) = 1 - 21*q**3 + 22*q**3 + 7*q - 5*q**2 - 1 - 2. Let p be s(r). Is p equal to -2?
False
Let s be 1105/923 + ((-2)/(-1))/(-2). Let j = 561/2485 - s. Does j = 0?
False
Suppose 1 + 2 = k. Suppose 2*t = k*h + 39, h + 3*t + 0*t = -2. Suppose -3*n - 44 = n. Is h equal to n?
True
Let q = -32483/5 + 6497. Let v = -5.4 + -37.6. Which is smaller: v or q?
v
Suppose 12 - 30 = -3*b. Let l be b/(-12) - (-2)/4. Suppose -5*i - 49 + 9 = l. Is -8 greater than i?
False
Let h be 1/(((-4)/116)/(-1)). Is h at most 29?
True
Let r = 9 - 3/2. Is r bigger than 9?
False
Let f = 0.66 + 5.34. Let j = f + 6. Is -3 >= j?
False
Suppose -2*g + n = -87, -17*g - 2*n = -12*g - 195. Suppose 0 = o - 4*v - 26, v - 3*v + 8 = 0. Is g greater than o?
False
Suppose 12*q = 8*q - 20*q. Let m = 20324/39 + -1568/3. Let u = m - -167/117. Is q > u?
True
Let i = -9 + -2. Let z = i + 11. Suppose -3*l + 0*v + 17 = 5*v, -5*v + 16 = 4*l. Are z and l non-equal?
True
Let k(u) = 4*u - 4. Let o be k(13). Suppose j - 6*j - 2*y - o = 0, 2*j + 5*y + 15 = 0. Is -9 <= j?
False
Suppose 0*w + 2*w = -10. Let d = -48 + 45. Is d bigger than w?
True
Let x be (6 + 12*10330/(-20655))*-6. Is x equal to 1?
False
Let t = 11487422369680922397112/2512465 + -4572172097792647. Let y = t + -3309/9481. Let w = y + -634/5. Which is greater: w or 1?
1
Suppose 2*z + o + 131 = 0, 5*z + 2*o = 6*o - 321. Let m be (-62 - 0) + 0 - 2. Which is greater: z or m?
m
Suppose 5*r - 7 = 8. Suppose -2*t + 19 = -r. Let p = t + 7. Is 17 > p?
False
Let c = 236.1 + -205.1. Which is smaller: 2/3 or c?
2/3
Let n = 0.2 - 0.4. Let p be 2/4*0/(-1 + 4). Let k = -2/3 - p. Is n at least k?
True
Suppose -12 + 462 = 45*d. Which is smaller: d or -3?
-3
Suppose 23*c = 24*c + 27. Let h be (-3)/12 - c/124. Which is greater: h or 0?
0
Let z = -21 - -14. Let i be (-3)/z - 60/140. Which is smaller: i or 3/11?
i
Let k be -5*2/((-2)/1). Suppose -8 = k*s - 28. Suppose 6 + 7 = c - x, s*c - 27 = -x. Which is smaller: 9 or c?
c
Let c = -151 - -19. Is -133 at most as big as c?
True
Suppose -h - r + 64 = 0, 3*h = 4*r - 2*r + 167. Which is greater: h or 58?
h
Suppose -7 - 5 = -2*g - c, 4*g = 3*c + 4. Let z(j) = -j + 3. Let h be z(-1). Let k(q) = q**2 - 5*q + 8. Let v be k(h). Is v != g?
False
Let g = -0.7 - -10.7. Let t = g + -9.94. Let k = -0.16 + t. Which is smaller: -3/5 or k?
-3/5
Let f = 2 - -3. Suppose f*h - 2*o = -7, -5*h = 3*o + 2*o. Let s = 0 - h. Which is smaller: s or -13?
-13
Let o be (-1 + -2)/(6/(-8)). Suppose -16 = g + o. Let y = g + 15. Is -6 > y?
False
Let m = 457/29 - -22916/145. Is m < 175?
True
Suppose -16*g + 18*g - 2 = 0. Let n be g*(-2)/((-8)/4). Is n at least 4?
False
Suppose 2*s - h = 16, -2*h + 48 = 3*s + s. Let d be (18/1395)/((-2)/s). Which is bigger: d or 0?
0
Let r be (-98)/(-72) + (-8)/32. Let u = -16/9 + r. Which is bigger: -2 or u?
u
Suppose -q = -3*r + 13, 2*r - 18 = -5*q + q. Suppose -q*v + v = -9. Let u be (0/2 + -18)*1/(-2). Is v bigger than u?
False
Let n = 156 + -161. Suppose -3*p + 0*p - 4*c + 10 = 0, 5*p - 8 = 2*c. Is n smaller than p?
True
Let y = 0.18 + -0.08. Let t be (-34)/48 + (-5)/(-15). Is t less than or equal to y?
True
Let v(j) = j**2 + 6*j - 30. Let y be v(-10). Suppose 4*t = 0, y*t = -3*x + 5*t. Let w be 1*-2 + 38/16. Is x at least as big as w?
False
Let z be (-3)/(8618/1705 + -6 + 1). Which is smaller: -58 or z?
-58
Let p = -599/6 - -11417/114. Which is smaller: p or -1/4?
-1/4
Let l be 1*((-2)/6 + 868/21). Do l and 21 have different values?
True
Let j = -111.155 - -0.155. Let p = j - -143. Which is greater: p or -1/2?
p
Let u = -198083/674556 - 33/3356. Let x be (-8)/268*(-4)/4. Let m = u - x. Which is smaller: m or -2?
-2
Let u = -7 - 10. Let m be ((-288)/(-40))/9 - 1. Which is smaller: m or u?
u
Suppose q - 8 - 35 = 3*i, -4*q - 3*i = -112. Let t = -75 + q. Is t greater than -43?
False
Suppose -4 = 3*w + 20. Let a = 