7 = 3*h + v + 124. Let m be (-29)/(-28) + g/h. Does m = -1/3?
False
Let m be 28*(-1)/(-118)*-1. Let r = m + -200/649. Suppose 68*l = 82*l. Which is smaller: r or l?
r
Suppose 3*i + 5*h - 916 = -187, 4*i = -h + 955. Which is smaller: 235 or i?
235
Suppose z - 1114 = -1115. Let y = 0.3 + -0.34. Is z <= y?
True
Let z = -7 + 14. Suppose 2*t = z - 1. Suppose -13 = 16*c - 45. Is c > t?
False
Let x = 1/477 + -161/954. Let c(m) = m**2 + 6*m - 7. Let d be c(-7). Suppose 4*w - 8*w = d. Do x and w have the same value?
False
Suppose 5*r - w = -5 + 64, -2*r + 26 = 2*w. Suppose -5*t + x = 23, -r = 3*t - 3*x - 3. Let s = 3521/4 - 885. Which is greater: t or s?
s
Let x = 584.1 + -584. Which is bigger: x or -473?
x
Let n(q) = q**3 + 2*q**2 + 2*q + 3. Let x be n(-2). Which is smaller: -6/17 or x?
x
Let i(k) = -2*k**3 + 33*k**2 + 17*k. Let j be i(17). Is -3/38 at most as big as j?
True
Let q = -3 + 2. Suppose -28*s = 3*s + 155. Let g be q/4 + s/(-4). Are -2/15 and g nonequal?
True
Suppose -9*u + 42 = -8*u. Let z be 4/u + (-9982)/(-147). Which is greater: z or 67?
z
Suppose -j + d + 1 = 0, 3*j - 6 + 3 = -4*d. Suppose -36 = 5*t - j. Let c be t + 2 + -2 + 2. Does c = -4?
False
Let s = 150.898 - -0.102. Let f = -152 + s. Is 85 greater than f?
True
Let f be ((-4)/8)/((-3)/36). Suppose -2*j + 0 = -f. Suppose -w + 2*w - 1 = 0. Which is bigger: w or j?
j
Let r = -0.242 - -0.302. Let n be ((-2)/12)/(4/(-18)). Which is smaller: n or r?
r
Suppose -112 = -20*b - 1272. Which is smaller: b or -56?
b
Let z = 73 - 64. Suppose z*h - 4*h = 0. Let t be (-1*2)/((-9)/(-4)). Which is greater: t or h?
h
Let q = -3/3281 - 5787/3281. Is -3 at most q?
True
Let n = 12 - 14. Let r = -1 + n. Suppose 6*g - 3*g = -2*i - 6, 3*i + 9 = -2*g. Is i at most r?
True
Let i(z) = 3*z**3 - 3*z**2 + 11*z. Let v(w) = -4*w**3 + 5*w**2 - 16*w. Let p(b) = -7*i(b) - 5*v(b). Let u be p(-5). Is u greater than or equal to 10?
True
Let j be (-2 + -1)/((-1)/2). Suppose -y - 16 = -4*o, 3*o - 12 = -y + j*y. Suppose -4*a = 2*p + 46, -a - 23*p = -20*p + 14. Which is smaller: a or y?
a
Let b = 219232/133 - 109101689/66500. Let r = -2/125 - b. Which is smaller: -8 or r?
-8
Let j be 12*((-57)/(-4) - 0). Let f be (4/(-6))/((-38)/j). Suppose 0 = -2*u - 0*n - n + 30, 2*u + f*n = 38. Is u greater than or equal to 11?
True
Let l(r) = -r + 1. Let i be l(-2). Suppose -i*d + 10 = -d. Suppose d*o = -0*o - 5. Is o less than or equal to 1/6?
True
Let b be 10 + 3 + 0/(-2). Let i(s) = -s**2 + 14*s - 10. Let h be i(b). Suppose h*d - 5 = -2*d. Is d less than 3/8?
False
Let x = -16 + 12. Let r(p) = -p**2 - 6*p - 3. Let g be r(x). Is g > 5?
False
Let s = -541/20 + 134/5. Which is smaller: -14/13 or s?
-14/13
Let m = -0.1 + -0.4. Let q = -0.5 + m. Let d = 1.991 + 0.009. Which is smaller: d or q?
q
Suppose -j + 174 = -4*j. Let r = j - -59. Let n = 1 + -0.7. Is r at most as big as n?
False
Suppose -19*g + 8 = -17*g - 4*d, -d = -5*g + 2. Which is smaller: g or -15/19?
-15/19
Let r = -45.7 - -45.7. Let u = -28 + 3. Which is smaller: r or u?
u
Let g be -31 + -1 + 12/(-3). Let b be 2*(-5)/4*g/(-225). Is -4/7 at most b?
True
Let a be (-2 + 9/12)*1. Let t = 11 + -11.2. Is a >= t?
False
Suppose 2*g - 2 = -2*k - 2*k, 3*k + 2*g - 3 = 0. Which is greater: k or 1/23?
1/23
Suppose 130 + 134 = 12*v. Is v <= 148/7?
False
Let a(i) = -58*i**2 + 20*i - 30. Let k be a(6). Which is bigger: -1999 or k?
k
Suppose 0 = -5*y - m + 6, 0 = 7*y - 12*y + m + 4. Let z = 0 - 0.2. Let d = -1.2 - z. Is d greater than y?
False
Let n be -13 + -1 - (1 + -5). Let b(h) = -3*h - 34. Let u be b(n). Is -18/5 != u?
True
Suppose 0*g = 3*g + 42. Let d be -2 - (-7)/(g/48). Let u = d + 32. Which is greater: 5 or u?
u
Let c be 2/1*(-11)/(-22). Suppose r - 5*w + 6 = 0, 4*r + 5*w + c = 2. Does -4/9 = r?
False
Suppose -4*u + z + 200 = -2*z, z = -5*u + 250. Let g be (-10)/(5/(u/4)). Is -25 <= g?
True
Let u(j) = -j**3 + 11*j**2 + 3. Let k be u(11). Let d be (13/k)/(1/3). Do d and 13 have the same value?
True
Let v be 12/(-15)*50/20. Suppose 3*k + 64 = -5*g, -k = 4*k - g + 60. Which is smaller: v or k?
k
Let w(g) = 0*g + 57*g**2 + g - 58*g**2 + 2*g. Let x(q) = q**2 - 3*q. Let t(i) = -4*w(i) - 3*x(i). Let c be t(3). Which is smaller: c or -0.1?
-0.1
Let y = 0.02 + 23.98. Let g = -107/230 - 4/115. Which is greater: y or g?
y
Let w(f) = -f**3 + f**2 + 4*f + 6. Let p be w(-3). Are p and 26 equal?
False
Let k = 10123 - 40687/4. Is k at least as big as -50?
True
Suppose 0 = 4*j - 1087 - 1245. Suppose -32*z + 21*z = j. Are -52 and z unequal?
True
Let c(z) = 11*z - 2. Let f(a) = -10*a + 3. Let b(w) = 5*c(w) + 6*f(w). Let p be b(2). Does p = -2?
True
Suppose 4*q + 65 = 3*k, -50 = q + q + 2*k. Let h be ((-4)/(-6))/(7/84). Suppose -4*a = -5*v + 91, h*a = 4*a + 4*v - 88. Is a at least as big as q?
True
Let u = -0.056 - -0.096. Let o = 0.36 + u. Which is greater: o or -4?
o
Let n = -7 - 0. Let k = -6 - n. Let p(s) = -s + 2. Let f be p(k). Which is smaller: -2/7 or f?
-2/7
Suppose 3 - 35 = -8*r. Suppose -5 = -5*p - 20. Let w be (-1)/p*r/14. Do w and -1 have the same value?
False
Let w be 1*(-2 + 6/3). Suppose w = x + 3*b + 1 + 6, -2*b - 9 = 5*x. Let n = 1464/11 + -133. Which is smaller: n or x?
x
Let s = -1.3 - -13.1. Let h = 0.26 + -12.26. Let v = s + h. Which is smaller: v or 0.3?
v
Suppose 4*v - 6*r = -4*r + 76, r - 81 = -5*v. Suppose 0*a - 4*a = -56. Is a greater than or equal to v?
False
Let w be (-2 + 2)/(-4) - -3. Suppose -w*u = 2*u - 1575. Let c be 20/u + (-4)/14. Which is greater: -1 or c?
c
Let g be (5 - 0)*-1*(-12)/390. Which is bigger: g or -3?
g
Let t(h) = h**3 - 26*h**2 + 13. Let s be t(26). Let v be s/39 - 4*1. Which is greater: v or -3?
-3
Suppose -j - 4863 = 1572. Let u be (-1302)/j - 4/20. Let g = -5/33 - u. Is 1 at least g?
True
Let p be -1*21*1/2. Suppose -3*q - 80 = 5*q. Which is greater: p or q?
q
Let h = 719 - 719. Is h > -2/4571?
True
Let y be 1206/(-342) + 1 + 0. Is y at most as big as -4?
False
Let o be (((-56)/22)/4)/(-2). Which is greater: 0 or o?
o
Let t = -33 + -621. Is t less than or equal to -653?
True
Let c = 572 + -568. Let f = 10 - 7. Suppose -q = y + c*q - 5, f*q - 3 = y. Which is smaller: -4 or y?
-4
Let s(t) = t - 5. Let g be s(-5). Let h = 8 + -13. Let a = g - h. Which is smaller: 0 or a?
a
Let c = 56 + -38. Suppose 26*u + c = 25*u. Is -21 != u?
True
Let q be (4 + 210/(-54))/(8/(-152)). Which is smaller: -1 or q?
q
Let z = -12864 + 90480/7. Is 61 at least as big as z?
False
Let m = 0.3 - 0.19. Let f = 20 - 24. Let j = f - -4. Which is bigger: m or j?
m
Suppose 2*i = -v + 2, -i - 3*v = -0*v + 9. Suppose -9*q - i*q - 12 = 0. Is -2/7 bigger than q?
True
Let q = 10.2 + -11.2. Let k = -48 + 3. Let s be 6/k*(-9)/(-3). Is s smaller than q?
False
Suppose -3*x - 26 = -5*x. Let k be 144/78 + 2/x. Suppose 3*l = 3*n + 7*l + k, -2*n + 2 = l. Do 3/4 and n have different values?
True
Suppose -22 = -4*b + 5*h, h + 2*h + 15 = 3*b. Suppose -2*u - 14 = b*q - 6*q, 6 = -2*u + 5*q. Which is greater: u or 2?
2
Suppose 0 = s - 4*s. Suppose -h - 2*g - 9 = g, g + 1 = 0. Let w be 60/(-66)*h/(-5). Do w and s have different values?
True
Let f(a) = a**2 + 2*a + 6. Let i(z) = 3*z**2 + 6*z + 17. Let r(g) = 11*f(g) - 4*i(g). Let x = 7 - 10. Let o be r(x). Which is smaller: -1/4 or o?
o
Let z = 2731/5 - 579. Let w = z + 32. Which is smaller: -1 or w?
-1
Let l = -35 + 42. Suppose -n + 0 = -l. Let g be n/7 + (-65)/67. Is g >= -1?
True
Let o(h) be the third derivative of -h**6/120 - h**5/60 + 2*h**2. Let a be o(-1). Let s be 27/9 - (a + 1). Is s smaller than 1?
False
Let z = 1 - 9. Suppose 14*c + 1514 - 72 = 0. Let t = -113 - c. Which is bigger: z or t?
z
Let o = 996 + -992. Let y = 7 + -2. Is y < o?
False
Suppose -y + 5*p - 20 = 0, 3*y = 4*p - 15 - 1. Suppose -24 + 9 = 5*i. Let g be ((-1)/i)/(36/45). Which is greater: y or g?
g
Suppose -2*t + 59 = 3. Suppose 0 = -3*w - w - t. Which is smaller: -5 or w?
w
Let f be (-43)/(215/300)*(-1)/(-23). Is f < -4?
False
Let p = -95.9 + -23.1. Let k = -117 - p. Are -1.9 and k equal?
False
Suppose 2*g + g = 60. Suppose 40 + g = 3*z. Which is smaller: 19 or z?
19
Let h be 2*((-7)/(-58))/7. Let n = -5 - -11. Suppose 0 = -4*v + v + 5*j - 8, 2*v - 4*j + n = 0. Is v <= h?
True
Let f be -5 - ((-3)/(-27))/(40/(-1860)). Let q = 0.19 + -0.12. Is q smaller than f?
True
Le