 Which is smaller: t or g?
t
Let t be (3/5)/((-2)/(-20)). Let g be (2/(-6))/(t/45). Which is bigger: g or -2?
-2
Let s = -3 - -6. Let p = s + -3.1. Do p and 0.3 have different values?
True
Let n = -1/19 - 93/38. Does 2/7 = n?
False
Let v be ((-4)/294)/(0 + (-9)/(-27)). Do v and -4 have different values?
True
Let k be (1*2)/(2 + 0). Let j = -7.544 + -0.156. Let g = j - -8. Is g less than k?
True
Let m be (-32)/(-240)*6/(-56). Is -1 smaller than m?
True
Suppose -7*c = -6*c. Which is smaller: c or 2/607?
c
Let v be 15 + 0 + -3 + 1. Let u = -12 - -11. Which is smaller: u or v?
u
Let p = -44/711 - -252715/73944. Let f = p + -42/13. Let n = 35 - 35. Which is greater: f or n?
f
Let u = 99 - 101. Which is greater: 0 or u?
0
Suppose l + 16 = -58. Is -73 less than l?
False
Suppose -28 + 127 = 11*k. Which is smaller: k or 1/7?
1/7
Let q = -2.07 + 0.07. Do q and 0.03 have the same value?
False
Let y = -3 - 1. Suppose 10 = 4*z - 22. Let j be z/y + (-1 - -2). Is 1/4 > j?
True
Let v = -2.77 - -2.67. Let j be (6/20)/(6/(-5)). Which is greater: v or j?
v
Let a be 4*11/16 + -3. Which is greater: a or 1?
1
Let r = 4 - 28. Are r and -24 non-equal?
False
Let d = 225 - 14629/65. Which is greater: d or 0?
0
Let d(z) = z**2 - 4*z + 4. Let t be d(4). Let n(o) = o + 4. Let a be n(t). Let s be 2/a + (-7)/28. Is s <= -1/5?
False
Let f = -0.9 - -1. Let k = -34 + 59. Let z = -101/4 + k. Which is smaller: z or f?
z
Let f be (-32)/14 + (-2)/(-7). Let z be 2/(-3)*(-6)/f. Let w(q) = -q + 2. Let k be w(5). Is z at least k?
True
Let v be 4/2 + (-16)/(-40). Is v smaller than 1?
False
Let z = 97/12 - 1075/132. Is z <= 1?
True
Let z = -0.9 + 1. Is z >= 13?
False
Suppose h + 0 = -4, 4*v + h = 244. Which is smaller: 61 or v?
61
Let c = 39 - 36. Are 1/5 and c equal?
False
Let g = -6.1 + 0.1. Let a = 5 + g. Which is bigger: 2 or a?
2
Let u be (-32)/(-30)*(-6)/4. Are -3 and u equal?
False
Suppose -3*q - 3 = -a - 2, -3*q + 1 = a. Is 3/26 at most q?
False
Let t = -101 - -100. Is 1 < t?
False
Suppose 0 = 5*t + 10, -5*v - 5*t + 4 = -2*t. Suppose 3*n + v - 8 = 0. Suppose -n*a = -0*a. Which is smaller: a or -2?
-2
Let u be 1/(3 + (-624)/207). Let p be 10/35 + u/168. Which is greater: p or -2?
p
Let s = -115 - -116. Is 5/8 greater than or equal to s?
False
Let z(f) = -f**2 - 14*f - 13. Let u(y) = -y - 1. Let o(n) = -6*u(n) + z(n). Let p be o(-7). Let d be 2 + -2 + (-2)/9. Which is bigger: p or d?
p
Let s be 1 - 3/(-1*3). Let u be (2/(-28))/(s/3820). Let p = -137 - u. Is p less than or equal to 2/7?
True
Let d(m) be the first derivative of m**3/3 - 3*m**2/2 + 2*m - 3. Let v be d(2). Which is smaller: 1/12 or v?
v
Let n = -17 - -32. Let l = n - 16. Which is greater: l or 4?
4
Let q = -12 + 16. Suppose -7 = s - q. Let n be 2/5 + 24/(-10). Is n >= s?
True
Suppose -3*u + 192 = 5*u. Is u equal to 24?
True
Let n(h) = -h**3 + 2*h**2 - h. Let l = 5 - 3. Let w be n(l). Let d be (1/(-2))/(2/4). Which is smaller: w or d?
w
Suppose f + 4 + 3 = 0. Let w be 2/f + 20/21. Let v = 0.07 + -1.07. Which is smaller: w or v?
v
Let o = -33.4 + 33. Is o smaller than -2/3?
False
Let u(s) = -s**3 - 3*s**2 + 5*s + 4. Let m be u(-4). Is 1 at most m?
False
Let w(t) = -t - 7. Let y(v) = -1. Let n(h) = 2*w(h) - 2*y(h). Let f be n(-5). Is f greater than or equal to -4?
True
Let p be (4 + -2 + 0)*-1. Let h(i) = i + 1. Let x be h(p). Suppose 15 = 5*b - 5*w, 2*b - 53*w = -55*w - 14. Is b != x?
True
Let c = -5 - -4. Let p = 0.6 - 0.7. Which is smaller: c or p?
c
Suppose l = -0*l. Is 3/5 > l?
True
Let r be 2/(-7) - 18/(-63). Which is smaller: r or -1/18?
-1/18
Let h be ((-27)/774)/(10/284) + 1. Is 0.1 greater than or equal to h?
True
Let s be (-12 + 6)*2/3. Let j be -3 - (-2)/s*-6. Is -2 greater than j?
False
Let w = 32 + -33. Are w and 0.2 nonequal?
True
Let o(j) = -j**3 - 3*j**2 - 4*j - 3. Let d be o(-2). Suppose 5*m = 46 - 6. Let w = m - 6. Which is smaller: d or w?
d
Let v = -316/5 - -63. Let z(i) = 2*i + 7. Let s(r) = -r. Let p(d) = -3*s(d) - z(d). Let q be p(6). Which is bigger: q or v?
v
Suppose 2*c - 2*r = 6, 4*c - 3*r = -6 + 14. Which is greater: c or -6/47?
-6/47
Let v = -501967025/105183 - -147949/31. Let a = v + -2/377. Suppose 0 = -5*m - 5 - 0. Is m less than a?
True
Let k = -10 + 12. Let z be 1/((-30)/3)*k. Is 1 greater than z?
True
Let a = 2/27251 + -626853/1090040. Let b = -869/8 + 109. Let f = b + a. Is 1 <= f?
False
Let y be 1/(1 + 0) - 1. Let z be (22/(-4) + 4)/(-6) + 0. Is y less than or equal to z?
True
Suppose -4 = 2*g, g = 2*s + 2*g + 18. Is s equal to 0?
False
Let y = 11 + -10. Let m be 56/90 + (-2)/5. Does m = y?
False
Let r = 6 + -7. Let a = 2 - r. Let w be 3*(-1)/((-2)/2). Is a <= w?
True
Let y be (-32)/(-48)*(638/4 + 1). Which is bigger: 108 or y?
108
Let v be (-4)/3*(-15)/10. Suppose 0 = z + 5*d + 36, z + v*z + 32 = 4*d. Let w be ((-2)/8)/(6/z). Which is smaller: w or 2?
w
Let d = -1 + 2. Let u be ((-12)/(-8)*-47)/9. Let t = u + 145/18. Which is greater: t or d?
d
Let c = 9 - 4. Let r = c - 0. Suppose -1 = -3*g + r*g - z, -g = 3*z + 11. Is -2 < g?
False
Let m = 53 + -59. Which is greater: 6 or m?
6
Suppose -4*y = 2 + 6. Suppose -4*a + 2*l + 0 = 4, 3*a = 2*l - 3. Which is smaller: a or y?
y
Let j(d) be the first derivative of -d**4/4 - 2*d**3/3 + 3*d**2/2 - d - 4. Let g be j(-3). Which is bigger: -2/7 or g?
-2/7
Let v be (-2)/(-3)*3/(-2). Let y = v + 3. Which is smaller: 1 or y?
1
Let s = -125.4 + 122. Which is greater: s or 1/2?
1/2
Let w(o) = o**2 + 11*o - 9. Let u be w(-11). Does 2/7 = u?
False
Suppose -5*o = 2*y + 22, -5*y + 2*o - 6*o - 21 = 0. Let p = 0.22 - 0.02. Is y greater than or equal to p?
False
Let m = -453143463 + 72049453982/159. Let l = 2243 + m. Let t = l + 296/1749. Which is smaller: t or -1?
-1
Suppose 1 = q, 4*g + 4*q - 211 = g. Is 68 less than or equal to g?
True
Suppose -2*l - i - 2 = -6*i, 0 = -5*i. Let d be l/(2 - 3) - 7. Let b be 2/d - 25/(-30). Is b >= 1?
False
Let d be 63/(-28) - (-2 - 0). Is -0.2 at least d?
True
Let f = 3.028 - 0.028. Suppose -x - 9 = -2*m, -2*m - 5*x - 7 - 2 = 0. Is m less than or equal to f?
True
Let g = 78 - 85. Which is smaller: -8 or g?
-8
Suppose 0 = -p - 3*p + 12. Suppose h - 3*h + p*r = -5, -5*r + 5 = 0. Let n be (-12)/(-21) + h/(-14). Is -1 < n?
True
Let u = 1 + 4. Suppose 7*s - u*s = 0. Is s greater than or equal to -1?
True
Let h = 10 + 0. Let b(d) = d**2 - 11*d + 9. Let f be b(h). Which is smaller: f or 2/19?
f
Let f = 149608/7 - 21415. Let v = 43 + f. Which is bigger: 1 or v?
1
Suppose 0*l = -6*l. Let h = -3 - -4. Which is smaller: h or l?
l
Let q = 2555657/36 + -70986. Let m = q - 17/4. Let k be 6/18 - (-1)/(-3). Which is smaller: m or k?
k
Let u = -18/5 - -1268/355. Which is greater: 0 or u?
0
Let j = -46 - -45.5. Which is smaller: j or 0.3?
j
Let z = 0.3 + -0.2. Let x = -0.7 - -0.8. Is z >= x?
True
Let b = 30 + -30. Which is smaller: b or 2?
b
Let n = 3.4 - 3.61. Let s = n - 0.79. Is s greater than 9?
False
Suppose 2*m - 4 = 5*w - 0, -4*m = 5*w - 8. Which is bigger: 8/17 or w?
8/17
Suppose g + g - 4*n + 8 = 0, 2*n + 14 = 4*g. Suppose -t = -3*q - g, -4*q + 2*q + 3*t - 4 = 0. Is q greater than -2?
False
Let y be ((-15)/3)/(1/2). Let v(g) = g**2 - 27*g + 41. Let p be v(25). Is p less than y?
False
Let r be 2 - 0 - (4 + 1). Let a(m) = -2*m - 3. Let x be a(0). Is r not equal to x?
False
Suppose 0 = r - 1 - 3. Let i = -4 - -9. Suppose -l - r*s + 20 = -5*l, i = -4*l - s. Is -3 greater than l?
False
Suppose -f - 4*f + 157 = -4*s, f - 23 = -2*s. Which is smaller: f or 30?
f
Let l = -537 - -1099/2. Let f = l - 179/14. Do f and -0.3 have the same value?
False
Let b = -40 - -36. Is b at most as big as -23/5?
False
Let n(i) = i**2 - 3*i - 2. Let w be n(4). Let t be (144/(-33))/2 + w. Let s = 1 - 2. Are s and t nonequal?
True
Suppose -3*s + 5*i + 1 + 26 = 0, 4*s - 2*i - 36 = 0. Let v(d) = d**3 - 8*d**2 - 10*d + 10. Let x be v(s). Let o be (-19)/(-35) - 2/5. Is x less than o?
False
Let v = 25 + -43. Let t = -18 - v. Is t at least as big as 2/29?
False
Suppose -g - 4 = -0*g. Which is bigger: g or -5?
g
Let w be 6/(-9)*6/4. Which is smaller: w or 6?
w
Let l be (-2 + 6/3)*-1. Suppose 4 + 2 = -3*m. Let p(h) = -h**3 - 2*h**2 - h - 2. Let q be p(m). Is l equal to q?
True
Let j be ((-192)/(-112))/(1/7*-1). Let n = -8 - 3. Is j equal to n?
False
Let h(a) = -a*