7?
0.7
Let t = 377 - 263. Let k = -112 + t. Let m be 1/4 - (-13)/(-4). Does k = m?
False
Let h = 239.8 + -235.8. Which is smaller: h or 48?
h
Let w be (-9 + 8)*18*10/(-4). Let b = w - 47. Let x = -143 - -425/3. Is x >= b?
True
Let l = -922/3325 + -4/475. Is -282 < l?
True
Let k be (-16)/(-392)*-7*1. Let q = 16.13 + -16. Which is greater: k or q?
q
Let t = -54 - -63. Let q be (1 - 3)/(t/(-6)*-6). Let y be (-1)/(1 + -1 - -1). Does q = y?
False
Let q = -226/9 - -238/9. Let v = 0 - -2. Suppose -3 = v*x + x. Which is smaller: q or x?
x
Suppose -4*g + 12 = 0, -13*g = 3*v - 18*g + 15. Let x = 551/6 - 92. Is v greater than or equal to x?
True
Suppose 2*z - 8 = -5*y, 0 = z - 4*y + 29 - 7. Let o = -1674 + 8338/5. Are o and z unequal?
True
Let x(k) = -73*k + 292. Let n be x(6). Which is smaller: -145 or n?
n
Let g(h) = -4*h**3 - 41*h**2 + 88*h + 17. Let w be g(-14). Which is smaller: 2/7 or w?
2/7
Let n = 318 + -340. Which is smaller: -5 or n?
n
Suppose -g - 22 = -6*g + 4*p, -g = p - 8. Suppose u = -g*u - 56. Does -8 = u?
True
Let k = 6177 + -6177. Suppose q = -3*q. Is k greater than or equal to q?
True
Let h(f) = -f**2 + 6*f - 4. Let o be h(-6). Let b = -310 - -234. Is b <= o?
True
Suppose -4*q - 3 + 0 = 3*u, 0 = -u + 2*q - 1. Is -2/257 at most as big as u?
False
Let q = 743 + -744. Which is greater: q or -21/10?
q
Let o be ((-885)/36 - -3) + (-3)/(-12). Which is smaller: o or -22?
-22
Let g = -142 + 143.9. Which is greater: 1 or g?
g
Let p = -4.8 - -4.6. Let j = 2.78 - -0.22. Which is smaller: p or j?
p
Suppose -12*p = -10*p - 16. Suppose 4*b = -5*r - 23 - 4, 11 = -3*r - 5*b. Let x be r/2*(-2 + 0). Do p and x have different values?
True
Let k be (-92)/12 - (-1)/(-3). Let c(z) = 5*z + 41. Let l be c(k). Let b be 4/10 + (-3)/10. Is l equal to b?
False
Let i be 7 + 3/(-2*3/4). Let t(l) = -3*l - 4. Let g be t(-4). Which is smaller: i or g?
i
Let y = -188 + 179. Which is smaller: y or -5?
y
Let p be (8/(-12))/(83/(-3)). Let j = -148/747 - p. Let y(a) = a - 38. Let b be y(37). Which is bigger: b or j?
j
Let u = -2.95 - 10.05. Which is bigger: u or 10?
10
Suppose 3*q = k + 2*k + 3, 3 = -3*k - 5*q. Let w = 9 + -6. Let p be (-34)/(-50) - w/5. Does k = p?
False
Let q be 0 + (-8 - 0 - -8). Is q less than or equal to -2/29?
False
Let a = -0.3 - -0.2. Let v = -15 - -14.85. Let g = 0.15 + v. Is a at most g?
True
Let j = -0.701 + 0.901. Which is smaller: -389 or j?
-389
Let a = -1867 + 1923. Is a not equal to 9?
True
Let q be ((-20)/8)/((-8)/512) + 2. Are q and 164 equal?
False
Let q = -26 - -39. Suppose 16 = 5*m - 49. Let d = q - m. Which is greater: d or -2/33?
d
Let a be 48/(-540)*15/(-21). Let x = 6 - 7. Is x < a?
True
Let s be 6/(42/(-49)) + -21. Are s and -32 unequal?
True
Let s(w) = -12*w**2 - 2*w + 3. Let d be s(2). Is d at most -50?
False
Let a = 69 - 66. Let f = -8 - -12. Let j = f - a. Is j < -7?
False
Let l be 2 - (8 + (-4 - -2)). Let w be l*(0 - (-4)/(32/(-12))). Which is smaller: w or -1/3?
-1/3
Suppose -21*o + 2646 = -28*o. Let r = 4151/11 + o. Is -2 != r?
True
Let j = -22.2 - -24.2. Let h be 3/(-2) - (-79)/50. Do h and j have the same value?
False
Let m(i) be the third derivative of 0*i + 1/12*i**4 - 7/6*i**3 + 0 - 7*i**2. Let f be m(8). Is f at least as big as 1?
True
Let f = 0.0064 - 1.0064. Which is smaller: 0.0114 or f?
f
Let u = 134.16 + -134. Let s = 60 - 61.84. Let x = u - s. Is 0.1 greater than or equal to x?
False
Let f = -539 + 10239/19. Which is bigger: f or -1/9?
f
Suppose -761*g = -769*g + 14936. Is g smaller than 1867?
False
Suppose 0 = 3*k + 2*u - 5, 16*k + 5*u - 15 = 11*k. Which is smaller: k or -6/227?
k
Suppose -21*v = -18*v. Suppose v = r + 4*r + 20. Let h(o) = -o**3 - 5*o**2 - 2*o - 8. Let j be h(r). Is j less than or equal to -17?
False
Suppose 576*j - 566*j = 12510. Which is smaller: j or -2?
-2
Suppose 3*g - g - 72 = 0. Let q = -35 + g. Which is smaller: 1/160 or q?
1/160
Let t be 6/(-117) + 337568/(-312). Which is greater: t or -1083?
t
Let r = 9 - 5.6. Let s = r + -5.4. Which is smaller: s or -2/13?
s
Let g = 1 - 0. Let j = -67.27 - -67. Let r = 0.37 + j. Which is smaller: r or g?
r
Suppose 5*p + 3426 = -3*s, 2*s - 676 = p - 2*s. Let o = 213 + p. Let i = -2364/5 - o. Which is bigger: -1 or i?
-1
Let d(t) = -8*t - 135. Let v be d(-16). Let z(r) = -r**3 - 8*r**2 - 12*r + 5. Let m(o) = o - 1. Let k(i) = -4*m(i) - z(i). Let y be k(v). Is y < -9?
False
Let i = 429/406 + 5/58. Let m(t) be the second derivative of t**4/12 + 5*t**3/6 - 2*t**2 - t. Let c be m(-6). Which is smaller: i or c?
i
Let t = -1427 - -1435. Which is greater: t or -0.023?
t
Let c be 0/(2/3*12/(-8)). Suppose u + 5 = 10. Suppose u*t - 2 = t - y, 2*y - 4 = c. Which is bigger: -9/7 or t?
t
Let y be (4 - (7 + -5)) + 19. Let z(o) = -o**3 + 20*o**2 + 20*o + 24. Let a be z(y). Which is smaller: a or 0?
0
Let v = -101 + -16. Let x be v/(-143) - 4/(-22). Which is smaller: -2/11 or x?
-2/11
Let j = 0.05 + -0.01. Let i = -2275 - -2279. Which is greater: j or i?
i
Let k be 2/17 + (-990)/30090. Which is greater: 2/5 or k?
2/5
Let g(j) be the second derivative of -j**3/6 - 16*j**2 + 22*j. Let r be g(-14). Is r smaller than -2?
True
Let c = 20 + -11. Suppose 5*h + 12 = c*h. Let d be (-8)/h*(-1)/6. Which is smaller: 0 or d?
0
Suppose 5*c - 2 + 9 = -v, 0 = 5*c - 2*v + 1. Which is smaller: c or 1?
c
Let f(g) = -g**3 - 6*g**2 - 6*g + 2. Let r be f(-5). Suppose 14*l = r*l + 7. Suppose 0 = i - v - 1, -v + 0 = -3*i - l. Is -1.8 less than i?
True
Suppose 0 = -o + 2*o + 2. Let l be (1 + 1)/(o/(-4)). Let b be 6 - 1/(3/9). Are b and l non-equal?
True
Let b = -450 - -448. Is b at least 51?
False
Let q = 24.71 + -14.91. Let l = -0.1 + 0.3. Let u = q + l. Which is smaller: 1 or u?
1
Let d be 16/12*(-30)/(-4). Let q = -10 + d. Suppose f + 2*v = 6*v + 1, 5*f - 3*v - 5 = q. Which is bigger: 4/15 or f?
f
Let a(r) = 9 + 8 - 2*r - 18. Let n be a(3). Is n less than 0.1?
True
Let m(t) = 2*t**2 - 23*t + 20. Let i be m(11). Let f = 117 + -108. Is f equal to i?
True
Let a be 1/(((-27)/6 - 6)/(-15)). Are -3 and a unequal?
True
Suppose 4 = -2*v + 3*v. Suppose 5*t = 7*t. Suppose -5*f - v - 6 = t. Is -2 at most f?
True
Let q = -5081 + 1043. Let n = -4019.97 - q. Let z = 18 - n. Which is greater: -1 or z?
z
Let o = 1/69 + 203/276. Let p = -48 - -62. Let s = 13 - p. Which is smaller: s or o?
s
Let f = -2114 - -10618/5. Suppose 4*a - 4*n - 20 = 0, 0 - 12 = -3*n. Which is smaller: f or a?
a
Let k(d) = -2*d**3 - 6*d**2 - d + 2. Let y be k(-3). Let m be y/(-6)*(-2)/(-10). Which is smaller: -1 or m?
-1
Suppose -3*w - 3*a = -5*a - 20, w - a - 7 = 0. Let s be (-1)/w*24/(-32). Let n = -161/2 + 82. Which is bigger: s or n?
n
Let q be (48/(-40))/(1 - (-414)/(-410)). Is q greater than or equal to 123?
True
Let b be 2/7 - ((-220)/112 - 0). Let t be 10/(-1 - -3) - 2. Which is smaller: t or b?
b
Suppose 4*v - 12 = 7*v, 4 = 4*c + 4*v. Suppose 5*m + 16 - 56 = -5*w, 4*w + c*m = 37. Is 3 > w?
False
Suppose -3*q + 0*q + 20 = -5*w, q + 5*w = -20. Let t be (-6)/24*q - -1. Which is bigger: -6/31 or t?
t
Let v be ((-219)/(-44) - 5)*102. Which is smaller: -1 or v?
v
Let h be 6/(-10) + 345/75 + -5. Which is bigger: -4/131 or h?
-4/131
Let c(k) = -959*k**3 - k**2 + k. Let u be c(1). Let r be 8638/9 - (-1)/3. Let l = u + r. Is l greater than or equal to 2?
False
Let h = 35 - 63. Let m be 3 + 7/(h/3). Is 2 at most as big as m?
True
Let i be 1*((-274)/(-72) - 4). Are i and 1 equal?
False
Let h be (0 - -1)/(6/(-12)*-2). Suppose -16 = -n - h. Which is greater: n or 11?
n
Suppose -2*n - 22 = 5*j, -2*j - 3*n = 2*n - 8. Which is bigger: j or 2/25?
2/25
Let h be -5*(-4 + 3 + 0). Suppose -7*p + 2 = -h*p. Let n = 281 - 7024/25. Is n < p?
True
Let m = -241433/3245 + 1/649. Which is smaller: -74 or m?
m
Let z be (-19)/42 + (-2)/(-7). Let q(i) = 513*i - 4107. Let p be q(8). Which is smaller: p or z?
p
Suppose -3*a = -2*c - 8, -2*c - 15 = -5*a + 5. Suppose -6*q - a = -24. Is q greater than 5?
False
Let i be 2/4*(26 + -26). Let r(f) = f**3 + 30*f**2 + 27*f - 51. Let u be r(-29). Which is bigger: i or u?
u
Let b(u) = u - 9. Let k be b(11). Let z(f) = f**3 - 13*f**2 + 3. Let j be z(13). Let a be j/9 + (-34)/(-24). Which is greater: k or a?
k
Let f = 2405 + -1649. Are 756 and f equal?
True
Let c(x) = -3*x**3 + 1. Let u be c(-1). Suppose 2*v = -8 - 