?
t
Let w(o) = 3*o - 12. Let q be w(0). Is q greater than or equal to -12?
True
Let m = 2/65 - 3/13. Let f be -2 - -5 - (2 - 0). Does f = m?
False
Let j(a) = -a - 20. Let x be j(-21). Let t be (-54)/33*10/(-6). Let l = t - 68/33. Which is greater: x or l?
x
Let p(f) = f**2 - 7*f - 29. Let x be p(10). Which is bigger: x or -3/79?
x
Let s = -77 - -75. Are -4 and s equal?
False
Let b = 41.5 - 39. Which is greater: b or -2?
b
Suppose -2*b + 5*b + 15 = 0. Let s be ((-10)/(-6))/b*0. Is 0 greater than s?
False
Suppose 23 = 4*g - 3*o, -2*g - 5*o + 19 = -8*o. Is g greater than 67?
False
Suppose 12*w + 11 - 35 = 0. Which is smaller: 27/8 or w?
w
Let h = 305 - 128. Let z = 1236/7 - h. Which is smaller: z or -1?
-1
Let f = -290969/296 + 983. Does 1 = f?
False
Suppose 3*n = -4*d + 11, -2*d = -4*n - 3*d + 19. Let m be n/(-2)*4/(-2). Which is smaller: 6 or m?
m
Let f = -3 - -1. Which is greater: f or -5?
f
Let z = -11 - -18. Is 3/11 greater than or equal to z?
False
Suppose -3*l + 20 = l. Suppose -l*z = 5*y, -2*z - 3 = 4*y + 1. Suppose -3*d - 5 + z = 0. Which is smaller: -2/7 or d?
d
Let m = -0.3 - -0.1. Let v = -0.3 - m. Suppose -3*x + 4 = 5*t - 3, 7 = t - 5*x. Are v and t equal?
False
Let r be (2 - 3)/(12/6)*14. Is -9 not equal to r?
True
Let a be 4*(-1)/(-4) + 8. Let g be (-12)/315*a/6. Which is greater: -1 or g?
g
Let v(r) = -r**2 + 6*r - 2. Let y be v(6). Let c = 0 - y. Let q = c - 4. Which is greater: q or -3/5?
-3/5
Let d be 4/(-18) + (-2000)/72. Is -1 greater than d?
True
Let u = -23 - -67/3. Let p = -80 + 81. Which is bigger: p or u?
p
Suppose 2*k - 22 = 4*d, -2*d + 0*d = 10. Is k <= 4?
True
Suppose 2*m + 2*d = 4*m - 4, 0 = 5*m + 5*d - 30. Let s(r) = -r**2 + 6*r - 6. Let v be s(m). Let o be (5 - 7)*1/v. Which is smaller: o or 2/23?
o
Let m(t) = -t**3 - 2*t**2. Let r be 1*(1 + 1)*-1. Let q be m(r). Which is bigger: q or 3/4?
3/4
Suppose 3*i + k = 2 - 4, 2*i + 10 = -5*k. Let h = 73 + -356/5. Let m = 41/20 - h. Which is bigger: m or i?
m
Let v be (9/24)/((-25)/10). Which is bigger: v or -3/2?
v
Let i = 24 + -14. Let a = 31 + -21. Is a < i?
False
Let v = 6 + 10. Let x = v + -9. Is x smaller than 1?
False
Suppose -2*y + z = 69, -6*z + 57 = -y - z. Which is smaller: -33 or y?
-33
Let k = 0.2 + -0.2. Let r = k - 1. Let u = 0.99 - 1. Which is greater: r or u?
u
Let v = -11 - -10. Let d = 149/4 + -37. Is d greater than v?
True
Suppose -5 = -2*d + 1. Suppose c = r + 5 - 2, 3 = d*r + c. Let n(p) = -p + 2. Let z be n(3). Are r and z equal?
False
Let f be 9/(-7) + 12/42. Let k be 3 + 2 + -4 + f. Suppose -4*g = 0, 0 = -4*v - g - 2 - 2. Which is greater: k or v?
k
Let t be (-1)/4 + (-30)/8. Let p = 6 + t. Do 3 and p have the same value?
False
Let h be (-14)/(-3) + 20/(-30). Which is greater: 5 or h?
5
Suppose -2*w + 3*u = -0*w - 6, 0 = 2*w - 4*u - 8. Which is greater: w or -1/4?
w
Let s be (5 + -2 - 8)*-2. Is s not equal to 10?
False
Let m = 4 + 16. Which is smaller: m or 19?
19
Let w = 38/595 + 6/119. Is w greater than or equal to 0?
True
Let i be 3/(-12) - 46/8. Is i < -10?
False
Let d = -10 - -15. Is d smaller than 5?
False
Let o be (-218)/(-10) - 3*8/(-120). Is 22 at most as big as o?
True
Let h be (0 - (-4)/(-6)) + 35/21. Which is smaller: 2/63 or h?
2/63
Let u = 0 + 0.14. Let m = -0.08 + u. Let p = -0.04 - m. Is p smaller than 0.1?
True
Let t(k) = k**3 - 2*k**2 - 4*k + 4. Let d be t(3). Let u be 22/(-4) + d/(-2). Is u at most as big as -6?
True
Suppose -3*r - 5*g = -0*g - 11, -5*g = -4*r + 3. Let n(s) = s + 1. Let w be n(r). Suppose -3*p - w = -0*p. Which is smaller: p or -2?
-2
Suppose 2*t - 8*t + 48 = 0. Let c be (-2 - 1)*1*-7. Let n be t/(-12) - (-20)/c. Is 1 >= n?
True
Let h be 2/(-5) - (-626)/(-10). Let x be (-1)/4*(-28)/h. Is -1 >= x?
False
Let z = -1503/16 + 94. Is 1 bigger than z?
True
Let q = 1 - 3. Suppose -84 = -p + 3*i, 2*p = -4*i - i + 146. Let g = 232/3 - p. Which is smaller: q or g?
q
Let h(r) = r**2 - 4*r + 1. Let z be h(7). Suppose q - 2 = 0, 5*u = u - q + z. Suppose -u*w = -4*f + 21, -2*w + 4*f - 6 = 12. Is w equal to -2/11?
False
Let t = -37894/1701 + 156/7. Which is smaller: t or -1?
-1
Let r = -1 - 5. Let n be r/((-51)/(-15)*-1). Let s = -133/85 + n. Which is smaller: s or 1?
s
Let o(w) = -w + 12. Let p be o(17). Is p >= -6?
True
Let p be (-4)/(-21)*(-49)/42. Suppose 0 = -7*j + 2*j. Which is greater: p or j?
j
Let a = -3 + 5. Is a <= 6?
True
Let o be (-6)/15 - 176/10. Is o >= -17?
False
Suppose 0*n = 5*n + n. Do n and 3/47 have different values?
True
Let g be ((-102)/42 - -2)*-2. Which is greater: -1 or g?
g
Let d = 4 + -2. Suppose 0 = -t - 0*t + d. Let a be (-1)/t + 36/40. Which is greater: 0.2 or a?
a
Suppose 3*m + 2*d = 23, 6*d - 3*d + 13 = 5*m. Suppose x + 5*p + 11 + 0 = 0, -m*x - p + 41 = 0. Is 8 greater than or equal to x?
False
Suppose -o - 10 = -9. Which is bigger: o or -1/4?
-1/4
Let x be 10/(-40) - (-39)/12. Let o be (2*2 - 0) + 1. Suppose -4*k - b = -o, -3*b - 3 = 3*k - 0. Which is greater: k or x?
x
Let a = 0.02 - 0.04. Let l = a + 0.02. Is l <= 1?
True
Let z(j) = -j**3 + j**2 + j + 12. Let y be z(0). Let c = y - 9. Suppose 0 = f - h - h + 4, f + 16 = 5*h. Which is bigger: f or c?
f
Let i be (-6)/21 - 9/(-7). Suppose a - i - 3 = 0. Suppose -a*c + 0*c = 0. Is c at most as big as -1?
False
Let g = 0.1 - -0.4. Let o = g - 0.4. Which is bigger: -1/2 or o?
o
Let y = -11 + 8. Suppose 4*c + 2*d + 12 = 0, -3*d - 2 = -3*c + d. Let i be c*(-2)/(-14)*1. Which is smaller: i or y?
y
Let t(r) = r**3 + 6*r**2 - 8*r - 8. Let s be t(-7). Is 0.36 > s?
True
Suppose 12*l + 18 + 6 = 0. Which is smaller: l or 7?
l
Let j be (-15)/10*(-8)/114. Let n be -1 + (-6)/3 + 3. Which is smaller: n or j?
n
Let l = 17003/55 - 1533/5. Do l and 4 have the same value?
False
Let m(g) = 3*g**3 + 2 - g**3 + 2*g**2 + 3*g - g**3 - 2*g. Let h be m(-2). Let q = 4 + -4.3. Is h less than q?
False
Let c be (-306)/(-72) + 1/(-4). Is 0.2 greater than or equal to c?
False
Let q(a) = a**3 + 7*a**2 - 8*a - 2. Let u be q(-8). Which is smaller: u or -3/5?
u
Suppose 8*w - 14 + 6 = 0. Let x = 10/3 + -36/11. Which is bigger: w or x?
w
Let f(c) = -c**2 + 5*c - 4. Let l be f(5). Suppose 3 = -3*r - 2*y, -3*y + 21 = -4*r - 0*r. Is r greater than l?
True
Let k be -3 + (-3 - -115)*(-2)/(-4). Which is smaller: 54 or k?
k
Let o = -2 + 4. Let f be 1/o*32/(-4). Let k = 3 + f. Which is smaller: k or 0?
k
Let u = -43 - -54. Is u less than 6?
False
Let q(i) = -i**3 - 7*i**2 - 9*i + 8. Let g be q(-5). Which is greater: 9 or g?
9
Suppose 8*h = 3*h + 3*p + 36, -5*h + 60 = 5*p. Let g(a) = -a + 16. Let c be g(h). Is -1 > c?
False
Let n = 0 + -7. Let g(h) = h**2 + 8*h + 5. Let w be g(n). Do w and -3/5 have different values?
True
Suppose -4*m = -4*h + 20, -5 = h + m - 20. Suppose 4*o + 14 = -2*f, 2*f = f - 5*o - h. Is -6 >= f?
False
Suppose -2*y - y = 6. Let x = -6 - y. Which is bigger: x or -5?
x
Let d be 16/4 - (-2)/(-1). Suppose q + 12 = 3*s + s, -2*q + 6 = d*s. Is 4 at least s?
True
Suppose 0 = -4*x + 4*k - 6*k, -3*x + 11 = -4*k. Let b be (12/(-10))/(x/5). Let q be 24/27 - b/(-27). Which is smaller: 0.1 or q?
0.1
Let k = -45 + 35. Which is bigger: 2 or k?
2
Suppose -12*o + 20 = -17*o. Which is smaller: o or -0.3?
o
Suppose -c = 2*c - 2*q + 5, -2*q = -4*c - 8. Let r be (-4)/(-4 + 2) - c. Is r at least as big as 5?
True
Let f = 0 - -3. Let o = f + -3. Which is smaller: -2/15 or o?
-2/15
Let x = 0.01 - -0.09. Which is smaller: x or -0.3?
-0.3
Let r = 2/23 - -61/92. Let f(a) = a + 6. Let u be f(-4). Which is greater: u or r?
u
Let u = -0.03 + -0.07. Let c be 1/(1 + (-7)/6). Let g be c/3 - (-5)/1. Which is bigger: u or g?
g
Let k be (8/(-2))/(1/(-8)). Suppose 4*b + 5*f - 2 = 10, 5*b = -2*f + k. Let y = 5 - b. Is y equal to -5?
False
Suppose 3*s = -3*p, 4*s - 36 = -s + 4*p. Suppose 0 = s*n + 2*h - 8, 4*n + h - 3*h = 8. Suppose 0*k - k - 1 = 3*d, -2*k = -3*d + n. Which is bigger: 2/11 or d?
2/11
Let u = -45 - -32. Let o = -8 - u. Suppose o*s - 4*s = 2. Which is smaller: s or 1?
1
Let f = 5 + -8. Let h = 0.13 - -0.87. Let x = -1 + h. Is f smaller than x?
True
Let o be 3 + 1/(44/(-172)). Is -0.1 bigger than o?
True
Suppose -3 + 2 = -i. Let m(f) = -2*f**2 + f. Let s be m(1). Let k be (2*i/2)/s. Which is greater: 1 or k?
1
Let f = -88 - -88.2. Which is smaller: -3/40 or f?
-3/40
Let m = 18/59 - -1331/472