5*q - 3*r - 15 = 0. Which is bigger: q or m?
m
Let c be ((-4)/(-6))/((-6)/(-45)). Let f be 2*c/(440/(-12)). Which is smaller: f or 0?
f
Let x(s) = s**2 + 12*s + 3. Let f(a) = -a + 1. Let z(h) = 5*f(h) + x(h). Let d be z(-7). Suppose -9 = r - 5*i, 5 - d = -5*r + i. Is r > 2?
False
Suppose 5*x + 0*x = 3*u - 26, 5*x + 14 = -3*u. Let b = u + 2. Let h be 4/(-2) - b/(-3). Which is smaller: 0 or h?
h
Let i = 39 - 38. Let o = 5 - 4.6. Are i and o non-equal?
True
Suppose 12 = 7*t - 11*t. Let n = -5 - t. Suppose 4*x = -5*q - 13 - 16, -3*x = -3*q - 12. Is x bigger than n?
True
Let w = -5 + 5.04. Let q = w - -4.96. Let t = -4.9 + q. Which is smaller: -1 or t?
-1
Suppose -11*z = -16*z - 55. Is z at least -10?
False
Let f = -2 + 2. Suppose 3*q + f = -15. Let x be 10/(-4)*(-1)/q. Is 0 greater than x?
True
Suppose 27*d = 30*d + 3. Let r be -1 - (-16)/7 - 1. Which is bigger: d or r?
r
Let q be (58/14 - 4)*4. Do q and -1/4 have the same value?
False
Suppose -v - 1 + 3 = 0. Let p be v/7 - (-16)/140. Which is smaller: p or -2/5?
-2/5
Let d = 115 + -115.49. Let i = 4.41 - d. Let b = i + -5. Is -5 bigger than b?
False
Let b be (-2)/10 - (-26)/5. Is b greater than or equal to 44/7?
False
Let n be 0 + 0 - 328/(-6). Let o be (-1)/(-2) + (-218)/4. Let f = n + o. Is f != 2?
True
Let m = -133.43 - -134. Let g = 0.07 - m. Let d = 0.1 + g. Which is bigger: d or -0.1?
-0.1
Let f(c) = -c - 6. Let x be f(-9). Let g be x/4 - (-7718)/(-264). Let q = g + 86/3. Which is greater: 1 or q?
1
Let n = 3/7 + -8/35. Which is greater: -1 or n?
n
Let v be (-642)/4690 + (-7)/(-49). Which is greater: -1 or v?
v
Let c be 14/25 + (4 - 92/20). Which is smaller: c or 1?
c
Suppose w - 4*g - 19 = 0, -6*w + 2*g = -w - 5. Let s be (-16)/(-680)*(-2 + 0 - 3). Which is smaller: s or w?
w
Let b(k) = -k**2 - 9*k + 8. Let o be b(-8). Are o and 16 non-equal?
False
Let p be 3/((-9)/6*1). Let j be (-33)/(-9) - p/(-3). Suppose -m + 8 = m. Are j and m nonequal?
True
Let g = 27 + -44. Let j = 17 + g. Is 2/33 > j?
True
Suppose 2*v = 5*v + 9. Suppose 0 = 4*r - 4*h + 24, 4*h = -r + 2*h - 3. Let p = 3 + r. Which is greater: p or v?
p
Let j = -74 + 70. Does -4 = j?
True
Let d be 0/2 - (-4 - -2). Let v = 3 - d. Let o = 0 + v. Which is smaller: o or -0.3?
-0.3
Suppose -3*m + i + 56 = 0, -2*m - m + 61 = -2*i. Is m at least 16?
True
Let a = 127 + -119. Suppose 0 = 4*g - u - 2*u - 40, -27 = -5*g - 2*u. Is g >= a?
False
Let w be (13/(-156))/(2/(-30)). Let z be -1 - (1 + 18/(-8)). Which is smaller: w or z?
z
Let x(d) = d**2 + 3*d - 3. Let g be x(3). Let j = g - 15. Which is bigger: -1/28 or j?
j
Let j(u) = 56*u - 6. Let p be j(1). Is 50 less than p?
False
Let f be 0*(-4 - (0 + -5)). Which is smaller: f or -5/34?
-5/34
Let r(t) = -3*t**3 + 1. Let d be r(1). Let s be 1/3*12/16. Let k = s + -3/4. Is d greater than k?
False
Let t(d) = -7*d**3 + 2*d + 1. Let n be t(-1). Let h = n + 0. Let z be ((-8)/h)/(-1) + -2. Is z >= -1?
True
Let o = 0 + 2. Let x be 1*(0 + -1 - 0). Let l = x + o. Are l and 0 non-equal?
True
Suppose 5*i + 8 = 3. Which is smaller: 2/37 or i?
i
Let k = 54 + -34. Suppose -76 = -4*m - k. Is m at most -1?
False
Suppose -35 + 6 = -5*z + x, 0 = -5*z + 4*x + 41. Let v be ((-6)/(-45))/((-1)/z). Are v and 0 non-equal?
True
Suppose -3*i + 9 = 0, 3*i - 1 = 5*v - 2. Do v and 2/3 have the same value?
False
Suppose 7*t = 4*t - 114. Let v = 153/4 + t. Is v < -1/2?
False
Suppose j + 5*k - 2 = 0, -3*k + 8*k = 10. Which is greater: -0.1 or j?
-0.1
Suppose 0 = -b + 2 - 3. Let h be (14/(-21))/(b/12). Suppose -4*t = -7*t - 5*o - h, 3 = 2*t - 5*o. Is 1/12 bigger than t?
True
Let n be ((-1)/(-2) - 1) + -7. Let v = -7 - n. Which is greater: v or 0?
v
Let t = 1 - 0.9. Let c = 24.1 - 23. Let r = t - c. Which is smaller: -2/7 or r?
r
Suppose -3*u + 16 = 10. Suppose 0 = -6*t + 7*t + u. Is -1 at least as big as t?
True
Let z be (5/(-60))/(6/16). Is z > 1?
False
Suppose -3*n + 4 = -2. Let k = -6 + 5.6. Which is greater: k or n?
n
Suppose 12 = -i + 4*i. Suppose 0 = f + 6 - i. Let n be (-1)/f - 5/10. Which is smaller: n or -1?
-1
Let p = 2.3 + 0.7. Is p bigger than 16?
False
Suppose -3*b + 2 = -5*h - 5*b, -4 = -4*h + 4*b. Let s be 7/2 - (-2)/(-4). Let i be (-2)/s - 3/(-9). Is h <= i?
False
Let b(x) = 2*x**2 - 2*x + 3. Let n be b(2). Suppose g - 29 = -4*v, n*g = 5*v + 4*g - 32. Is 0 at most as big as v?
True
Let i = 17 + -17. Is i != 6?
True
Suppose d = 2*d + 5. Let h be d/(-6)*9/60. Which is bigger: -1 or h?
h
Let m = -22 + 36. Which is bigger: 10 or m?
m
Let m = 23 - 22.83. Let y = m - 0.17. Let x = -0.2 + 0.3. Is x < y?
False
Let x(u) = -u**3 - 10. Let q be x(0). Let s = q - -7. Let b be s/(-14)*(-16)/12. Which is greater: b or 1/3?
1/3
Let w be (-32)/(-12)*(-18)/(-8). Let c = w + -12. Which is smaller: -5 or c?
c
Let v = -10 + 7. Let h = 2 + v. Which is smaller: h or -2/33?
h
Let u be ((-3)/(-1))/((-2)/10). Which is smaller: u or -14?
u
Let x(i) = -i**2 - i**2 + 3*i**3 + i - 3 - 2*i. Let v(y) = -13*y**3 + 9*y**2 + 4*y + 12. Let q(t) = -2*v(t) - 9*x(t). Let c be q(0). Which is greater: c or 2/5?
c
Let w be (-1 + 0)*2 + 2. Which is greater: 1 or w?
1
Let s = -0.14 - 0.06. Let f = s - -2.2. Does f = -1?
False
Suppose 2*j + 7 = -3*j + 4*i, 4*j - 2*i + 2 = 0. Which is greater: j or 9/4?
9/4
Let f be 11/4 - 3/(-12). Suppose 0*j + f = j. Suppose 2*w + 8 = 6*w. Is w bigger than j?
False
Let r = 12 - 6. Which is smaller: 4 or r?
4
Let w = -21.3 + 19. Let j = w - -0.3. Which is bigger: j or 2?
2
Suppose 4*z - 5*q - 1 - 4 = 0, z + 2*q = 11. Suppose 0 = -z*s + 29 - 4. Suppose -3*n + k = 5, -4*k + 15 = -s*n + k. Which is greater: n or 0?
0
Let d be -4 + 2 - (0 + -2). Suppose -5*t + 15 = -d*t. Let n(g) = -g**3 + 2*g**2 + 3*g + 3. Let p be n(t). Which is smaller: 2 or p?
2
Let s = -54 + 55. Is 10 at most s?
False
Suppose -3*m - 5*c + 12 - 37 = 0, -4*m - 4*c - 20 = 0. Which is bigger: -1 or m?
m
Let h = 73 - 58. Does 14 = h?
False
Let h = -16.09 + 16. Let t = h + -0.01. Which is smaller: -1 or t?
-1
Let p be 15/10*(-6)/(-9). Is 2 less than p?
False
Let x be (-2)/6 - (-2)/9. Let f = 2 - -4. Suppose 0 = f*j - j. Which is bigger: x or j?
j
Let a be 2 - (-1 - (0 + -1)). Let k = a + -5. Let w be (3/k)/(1/1). Is w < 0?
True
Let l be 9*-3*-1 - 0. Suppose -k - l - 3 = 0. Let d be ((-48)/k)/((-4)/(-10)). Which is smaller: 5 or d?
d
Suppose 14 = -5*c - 6. Suppose 0 = -a + 2*a + 3, 0 = 3*i + 3*a - 12. Let g = c + i. Which is bigger: 2 or g?
g
Let a be 0 - -1 - (-1497)/12. Let c = 125 - a. Is c != 0?
True
Let h(y) = 3*y + 3 + 5*y - y - 3*y. Let f be h(-1). Are f and -3/22 equal?
False
Let u(s) = 3*s**2 - 13*s + 29. Let q be u(6). Is 58 not equal to q?
True
Let x = 0.02 + 0.13. Let m = -2.15 + x. Suppose 2 = -u + 1. Is u less than m?
False
Let m = 0.038 + 1.962. Which is smaller: 6/5 or m?
6/5
Suppose w - 3*o = 2*w - 6, -w + 3*o + 6 = 0. Let n = w - 6. Let m(i) = -i**3 + 5*i**2 + i - 4. Let j be m(5). Is n at least as big as j?
False
Suppose 5*a - 7 = 2*h + h, 0 = -4*h - 5*a + 14. Is h at least as big as -2/67?
True
Suppose q - 3 + 5 = 0. Let a be q + 2*1/(-2). Is a at most as big as -1?
True
Let r = 954/23 + -832888/20079. Let s = 5216/9603 - r. Which is greater: s or -0.1?
s
Let p(f) = -f**2 - 7*f + 10. Let c be p(-9). Are -7 and c equal?
False
Let x be (-11 + (-6 - -4))*1. Is x less than -2?
True
Suppose -3*f - 25 = -4. Let l be ((-2)/5)/(f/5). Which is bigger: -2/9 or l?
l
Suppose -4*x - 1 = s, -3*s + 3 = 2*x - 4. Let r be (-2)/4 - (-1 - x). Does -2 = r?
False
Let s = 81 - 111. Which is greater: -31 or s?
s
Let w be (27/(-6))/(2/4). Let x = -37 + 27. Is x > w?
False
Let u = 7 + -12. Let d = u + 5. Let t = -3 + d. Which is greater: -4 or t?
t
Let f = -12 + 23. Suppose 3*l = -5 + f. Suppose 4*z = 2*z + 2. Is z != l?
True
Let f(z) = z**3 - 6*z**2 + 6*z - 4. Let j be f(5). Let i be (-1)/j*0/(-1). Suppose 5*t + 20 = 20. Is i at most as big as t?
True
Let z be (-1)/3 + 4/48. Let f be 2/6 - (-1)/(-3). Which is bigger: z or f?
f
Let n = -3 - -1. Let s = 7 + -9. Let i be -2*(3/n - s). Do -2 and i have different values?
True
Let f be ((-3)/6)/((-3)/30). Is f < 5?
False
Let i be 36/(-21) - 4/14. Let w = -1 - -3. Suppose b - 24 = 4*q - 3*b, -5*q + 5 = w*b. Which is smaller: q or i?
i
Suppose -4*o = -12 - 24. Let f be ((-36)/o)/(1 - -1). Is f at most -2?
True
Let j = 4