- g. Is g != z?
True
Let d = -117.147 - -0.147. Let y = -110.03 - d. Let o = -7 + y. Are o and 0 unequal?
True
Let y be 12 - 10 - (-1 - 5). Which is smaller: 0.04 or y?
0.04
Let y = -442 - -1313/3. Which is smaller: 5 or y?
y
Suppose -2*f - 3*f = 3*c - 25, 4*f = c + 20. Let z = 11/115 - 1249/14260. Which is greater: c or z?
z
Suppose 0 = 4*f + 4*t - 454852, 0*f + 3*t = -2*f + 227423. Let o = 792850/7 - f. Let b = o + 451. Is b less than or equal to -1?
False
Let k = 10 - 4. Let j be 8/k*3 - -3. Suppose -j + 3 = 2*h. Are h and -2 non-equal?
False
Let x = 18 + -16. Let z(g) = -g**2 + g + 2. Let d be z(x). Let l(t) = -t**3 - 11*t**2 - 10*t - 4. Let c be l(-10). Which is smaller: c or d?
c
Suppose -151 = 42*j - 25. Is -3 >= j?
True
Let z = -3 - -5. Let p be 3 - 2*354/16. Let s = p - -81/2. Which is greater: s or z?
z
Suppose -v + 451 = 2*f, -3*f = v + 3*v - 669. Does f = 225?
False
Let o = -425081/14 + 30385. Let w = o + -22. Is 1 <= w?
False
Let t(s) = -s**3 - s - 1. Let l(q) = q**3 - 12*q**2 + 13*q - 23. Let j be l(11). Let d be t(j). Is d smaller than 16?
True
Let z be (-126)/154 - (-4)/(-22). Suppose 5*q + 17 = w, 5*w + 0*q = -q + 7. Suppose 5 = -3*h - w*h. Are z and h non-equal?
False
Let k(v) = v**2 + 8*v - 9. Let m be k(-8). Let j be 12*(4 + 39/m). Is j > -6?
True
Let n = -0.03 + -5.97. Let x = n + 6. Let b = 0.09 + -4.09. Does x = b?
False
Let g = 38 + -35. Let t be (g + (1 - 5))*7. Is t <= 1?
True
Suppose -2*o + 7 = 3*q - 4, 16 = o + 5*q. Which is bigger: -2/185 or o?
o
Suppose p + 0*u = -2*u + 5, -u = -5*p + 3. Suppose -4*x - 106 = -12*a + 13*a, -50 = 2*x + a. Which is bigger: x or p?
p
Let c(q) = -q - 11. Let t be c(6). Let f be ((-119)/t)/(1/(-18)). Let z be f/30 - 8/(-2). Is z greater than or equal to 0?
False
Let k(g) = 2*g**2 - 1. Let c(t) be the first derivative of t**3/3 + 6*t**2 - 14*t + 1. Let i be c(-13). Let f be k(i). Which is greater: f or 9/5?
9/5
Let b = 394 + -393.8. Let i = 9 - -3. Are i and b non-equal?
True
Let f(t) = 2*t + 34. Let b be f(-7). Is b at least 75/4?
True
Let z(c) = 0*c - 106 + 96 + 5*c. Let k be z(4). Let r be k/(-3)*6/(-28). Which is smaller: r or 2?
r
Let z = -2168/55 + 198/5. Which is smaller: z or -4?
-4
Let z = 22 + -25. Let w be (75/(-5) - -2) + z. Is -15 less than or equal to w?
False
Let v(l) = -20*l**2 + 5*l + 6. Let z be v(6). Let k(d) = -d**2 - 12*d + 4. Let c be k(-12). Let h be 99/z - (-1)/c. Is h smaller than -1?
False
Let i be -5 + 108/6 - 5. Suppose i = 3*r + 3*q - 1, 3*r + 5*q = 17. Let n = -1/71 - 64/497. Is n >= r?
True
Let n = 0 - -1. Let o be (-3)/(0 + n) - -4. Suppose -i = 5*i. Is i not equal to o?
True
Let a be 0 + 0 - (19 - 20). Suppose i = 5*v + 2 - 15, -4*i - v = -11. Let j be (-384)/(-188) - 1*i. Is a at least as big as j?
True
Let c = -1268 - -1177.7. Let m = c + 92. Do m and 0.2 have the same value?
False
Suppose 0 = 2*s - 4 - 0. Suppose -2*l = s*t + 3*t + 16, 4*l = 5*t + 28. Let a(k) = -k - 6. Let c be a(-7). Is c less than l?
True
Let f = -1765/4 - -444. Is f bigger than 2?
True
Let u be 8/2*(-2)/4. Let d = -2.5875 + 0.5875. Is u > d?
False
Let g(x) = x**2 + 42*x + 174. Let f be g(-36). Are -7 and f equal?
False
Suppose m - 6 = -4. Suppose -m*q = q + 54. Let u be (-2)/q + 0/4. Do u and 1 have different values?
True
Let a = 350 + -335. Which is greater: 4 or a?
a
Suppose 4*s - 20 = 5*i, 0*i = 4*s - 2*i - 8. Suppose s = v + 3*v. Suppose v = -3*m + 18 - 3. Which is smaller: m or 11/2?
m
Let p(r) = r**2 + 32*r + 197. Let q be p(-9). Is q at most -98/11?
True
Let v = 1005 - 1004. Which is smaller: 171 or v?
v
Let p(r) = -r**2 - 11*r + 22. Let t be p(-10). Suppose -4*q = 4*o + 44, 4*o + q + t = -0*o. Which is smaller: o or -42/5?
-42/5
Let b(i) = 3*i**2 - 18*i - 20. Let p be b(7). Which is bigger: p or -1/938?
p
Let k(p) = p**2 + 13*p + 34. Let l be k(-10). Suppose -3*v = -c - 25, -l*c = -4*v - 0*v + 68. Is -6 smaller than c?
False
Let f = -3543 + 3578. Suppose 3*w - 66 = 42. Is f != w?
True
Let s = -0.928 + -0.012. Let b = 0.11 - s. Let t = -0.05 + b. Is t greater than -9?
True
Let l(p) = -14*p - 165. Let t be l(-15). Is t less than 45?
False
Let n = 9168 + -5984. Let a = n - 15866/5. Let h = a - 152/15. Which is smaller: h or -1?
-1
Let s be -1 + 0 + 33/(-3). Suppose -24*y - 35 - 253 = 0. Is s >= y?
True
Suppose 2*v + 19 = 4*w + 31, 0 = w - v + 5. Let q = -137/3 - -228/5. Which is greater: w or q?
q
Let n = 104 + -212. Let b be (n/(-16))/9*-4*1. Which is smaller: b or 6?
b
Let y be 92/6 - 1232/77. Let v = 4 - 3. Suppose -10 = w + 2*s, s + v + 4 = 4*w. Which is bigger: w or y?
w
Let h(o) = 3*o**3 + 4*o**2 - 8*o - 3. Let p(q) = -q**3 + q + 1. Let r(t) = -h(t) - 5*p(t). Let i be r(2). Let n be i/2 + (-4 - -1). Which is smaller: 1/35 or n?
n
Let b be -4 - (2 + (-2 + 4)*-9). Let w = -4/347 + 12157/1041. Let k = b - w. Does -2/9 = k?
False
Let i = 0.1248 - 26.1248. Is i at least as big as 12?
False
Let b = 5.604 - 0.624. Let x = -0.02 - b. Let y be 2/(1 + 0 + 4). Which is smaller: y or x?
x
Let y = 22 - -129. Let j = -150 + y. Which is greater: j or -14?
j
Let o(t) = t - 1. Let g(i) = 5*i + 2. Let p(h) = -g(h) - 5*o(h). Let f be p(-1). Which is smaller: f or 11?
11
Suppose -v = -4*p - 1, -2*v = 3*p - 0*v + 9. Let h = -8974/33 + 272. Which is greater: h or p?
h
Let m = 1756 - 1757. Let d be (-2)/1 + 1 + -1. Which is bigger: d or m?
m
Suppose -4*c + 0*c + 32 = 0. Let a = 45 + -38. Is a equal to c?
False
Let u(q) = -q**2 - 12*q + 15. Let v be u(-12). Suppose -v = -5*h - 0. Suppose -h*z - 10 = 17. Is z != -8?
True
Let c = 22.38 + 0.62. Let r = c - 22. Is -2/5 <= r?
True
Suppose 0 = k - 6*k + 15. Let u be k + -3 + (-142)/(-35). Let a = 21/5 - u. Which is greater: a or 0?
a
Let z(x) = -4 + x + 0*x + 11. Let i be z(-11). Let d be (-12)/27*6/i. Do 2 and d have different values?
True
Let v be ((-6)/6)/((-168)/(-57) - 3). Which is smaller: v or 2/7?
2/7
Let f(d) = d**3 - d**2 - 2*d + 1. Let v be f(3). Suppose -4*u - v = 19. Let a be 148/6 - u/(-12). Which is greater: 25 or a?
25
Suppose -s + 11 = -0*x - 3*x, 0 = 3*s + 4*x - 20. Let k = -29 - -34. Suppose k*b - 72 = -37. Which is bigger: b or s?
s
Let g(p) = 2*p**2 + 12*p + 43. Let n be g(-9). Which is smaller: 98 or n?
n
Let l be (-164)/20 - (2 + 6/(-5)). Let h = l + 8. Are h and 5 equal?
False
Suppose -33*p - 56 = -5*p. Is p equal to -2?
True
Let m = 0 + -0.2. Let g = -294 - -293.93. Are g and m non-equal?
True
Let p = 15 + -13. Let d be -1 + (9 + -3)/p. Suppose -4*o + 2*o - d*a = 6, -5*a = -5*o + 35. Is 2 bigger than o?
False
Let z be 20/(-6)*9/(-5). Suppose 2*a = 2*i - 14 - z, 5*a + 58 = i. Let r be (2/33)/(8/a). Which is bigger: -1 or r?
r
Let c = 365.9 + -249.9. Does c = 0?
False
Suppose -29 = g + 4*v - 5, 0 = 4*g + 3*v + 57. Let k be (-5)/g - 5/(-20). Let z = 0.8 - -5.2. Is k <= z?
True
Suppose -12 = 3*c + 9. Let q = c - -3. Let a = -42 + 41. Which is greater: a or q?
a
Let a be (-26)/(-168)*12/(-27). Let v = a - 2/27. Let q be (-7)/9 + (-7)/(441/14). Which is bigger: v or q?
v
Let q be 25 - (1 + (0 - 5)). Suppose -2*t - 2*n = -88, 217 = 4*t + n + q. Is 48 greater than or equal to t?
True
Let k be ((-4)/(-10))/((-80)/(-525)). Let x = k - 27/8. Let u(j) = 2*j - 7. Let m be u(3). Is m < x?
True
Let l be (15 + 0)*(-2)/(-8). Let h(z) = -z**2 + 8*z + 64. Let a be h(-12). Let c = a - -180. Which is greater: l or c?
c
Let f = -3 + 2. Let n = f + 6. Let x = 5.1 - n. Do 0.04 and x have different values?
True
Suppose 2*v - 345 = 117. Suppose 8 = k + k, -3*l + 3*k = -v. Which is greater: 82 or l?
82
Let z be 3/((-9)/6)*(-10)/(-4). Let i be z/9*(-36)/(-24). Is -2/3 >= i?
True
Suppose 17*u = 1027 + 367. Let f(z) = -z**3 - 14*z**2 - 20*z - 10. Let o be f(-13). Which is greater: u or o?
u
Let i = 13/68 - -1/17. Let p = -176.53 + 1.53. Let q = p - -174.9. Which is smaller: i or q?
q
Let f = 1107 + -750. Which is smaller: f or 358?
f
Let d be 2/(-9) + 22/342. Let c = 59922 - 3415639/57. Let y = d - c. Is y at least as big as 0?
True
Suppose 8*j = -2168 - 456. Which is smaller: j or -329?
-329
Let k = 11.4 + -48.5. Let f = 37 + k. Let g be 1 - (8/(-5) + 1). Which is smaller: g or f?
f
Let z = 0.01 + 0.29. Let b = 11.7 + z. Let x = -3 + b. Which is bigger: x or -1?
x
Suppose 6*i - 60 = i. Let z = i + -9. Suppose c + 2*h - 1 = 4*h, 5*c = -z*h - 8. Which