1/3 > t?
True
Let z = -2638 - -2637.2. Which is smaller: -92 or z?
-92
Suppose -6*n - 9 = -3*n, -5*z + 5*n = 130. Is z less than -55/2?
True
Let k be 38/14 - 20/(-70). Suppose 3*b + 78 = t, -334 = -k*t - 2*t + b. Which is smaller: t or 67?
t
Suppose -q - 2 = -1. Let f(m) = -49*m**2 + 9*m + 5. Let b be f(-1). Which is greater: b or q?
q
Let b be 3*(1 + -1 + (-16)/(-72)). Let k = -7 - -4. Let r = 4 + k. Which is smaller: b or r?
b
Let y(j) = j**2 + 2*j - 2. Let o be y(-3). Let h be (-4*3/(-456))/((-19)/114). Is h less than or equal to o?
True
Suppose -p + 3*p = 0. Let u be -5 + 0 - (-1 + p). Suppose 5*f + 55 = -6*r, -14*r + 10*r - f = 25. Which is greater: u or r?
u
Let o = 23 - 12. Let b = -0.064 + -12.936. Let f = o + b. Which is greater: -2/3 or f?
-2/3
Suppose -7*n - 4 = -11*n. Which is smaller: n or -2/261?
-2/261
Let d be (16 + -15)*(76 + -1). Suppose -7*f + 10*f - d = 0. Which is smaller: 24 or f?
24
Let s = 181.1 - 181. Is 0.03 smaller than s?
True
Let g be (0/(-2))/(30 + -32)*1. Is 1/745 at most as big as g?
False
Let u be (-4)/42 - (-88)/1365. Which is greater: u or 3?
3
Let j(t) = t**3 + 12*t**2 - 14*t - 1. Let a be j(-13). Let f be ((-63)/a)/7*-8. Is 19/4 bigger than f?
False
Let b be (1 - (-13)/4) + 3/(-12). Let t = b + 8. Which is smaller: 13 or t?
t
Suppose -1233*r + 1224*r = 99. Which is bigger: r or -9?
-9
Let c = -7 - -5. Let z(t) = -2*t - 3. Let q be z(c). Let h = 3217/12836 + -2/3209. Which is smaller: h or q?
h
Suppose 4607 = 32*r - 833. Is r smaller than 172?
True
Let t be (-20)/(-6) + 4/(-3). Let m(b) = -b**3 + b**2 + 5*b - 5. Let u be m(t). Which is smaller: 1/5 or u?
1/5
Let a be -5*(-5)/75*9/1. Suppose -2*r - 4*h = 2, 8 = -2*r + a*h - h. Let y = 4 - 2. Is y < r?
False
Let b be (-222)/(-30) + 2/13 + (-465)/65. Let w = -71.953 + 72. Which is smaller: w or b?
w
Suppose 3 - 29 = 2*s. Suppose 26 = -7*c - 37. Is c < s?
False
Let q be ((-30)/39 + 0)*(-5 + 6). Are 0 and q unequal?
True
Let d be ((-2)/7)/((-5)/35 + 0). Suppose -2*l - 6 = u + 2, -3*l = -d*u + 19. Let s(y) = -y**2 - 4*y + 5. Let o be s(-4). Are u and o non-equal?
True
Let c = -199 - -153. Let u = -47 - c. Is -29/5 >= u?
False
Let p = 3.7 - 0.7. Let q = 5 - -21. Let g = p - q. Which is smaller: 1 or g?
g
Let v = -1160/9 + 695/9. Is v at most as big as -52?
False
Let i(v) = -v - 7. Let r = -24 + 9. Let q be i(r). Is 8 at most q?
True
Let i = 327 - 334. Do i and -2/53 have different values?
True
Let c = 0.149 - 0.229. Which is smaller: -1.3 or c?
-1.3
Let x(v) = v**2 + 10*v - 16. Let d be x(-12). Let o(y) = y**2 - 5*y + 1. Let s(b) = 4*b - 6. Let r be s(3). Let z be o(r). Which is smaller: z or d?
z
Let j be (-1)/(-5) - -1*38/10. Is j less than 15/4?
False
Let a = 90 + -58. Let d = 35 - a. Which is greater: 4 or d?
4
Let g be (0/(1 + 2))/2. Let y be (1 - 22/12) + g. Suppose 3*z - 31 = -p - 33, -5*p = -5*z - 10. Which is smaller: z or y?
z
Let h be ((-8)/10)/((-11)/(-440)). Let m = -675 + 643. Is m less than h?
False
Let i = 3.7 + -3.4. Let x = -4.3 + i. Let q = x - -4. Which is greater: -3 or q?
q
Let q be 1 + ((-417)/(-6))/(21/(-6)). Which is bigger: -19 or q?
q
Let m(l) = l**3 - 5*l**2 - 7*l + 2. Let k be m(7). Suppose -k = -0*i + 3*i. Let p = 18 + i. Which is bigger: -0.3 or p?
p
Suppose 18*p - 17*p = -y, p + 3 = 2*y. Is -6/71 less than or equal to p?
False
Let p = -0.031 + 0.261. Let f = -1.03 + p. Is f >= 2/9?
False
Suppose 5*x - 31 = 4*b - 2*b, 2*b + 4*x - 14 = 0. Let d(f) = 2*f. Let h be d(b). Is h >= -4?
False
Suppose 8*g - 2*n = 9*g + 9, 10 = -2*n. Which is greater: g or 5/18?
g
Let p be 5*21/(-30)*-4. Let r(z) = z + 14. Let s be r(p). Let t be 2/(-3) + s/(-12). Is t not equal to -5/2?
True
Let m = -3.7 + -0.3. Let u = m - -4.1. Are u and -6/5 unequal?
True
Let j = 50 + -103/2. Suppose -4*s + 2*i - 76 = -0*i, s - 2*i = -25. Let u = -18 - s. Which is bigger: u or j?
u
Let r be (-594)/14 - (-2 - 5). Which is smaller: -35 or r?
r
Suppose 78 = 3*f + 18. Suppose k - o + 3*o - 14 = 0, -k - 5*o + 5 = 0. Is k smaller than f?
False
Suppose -4*z = -o + 1, o = -3*z + 2 - 1. Suppose -5*l = 3*h - 12, z = 3*l - 0*l + h - 4. Which is smaller: l or 10/11?
l
Suppose -81 = -8*j - j. Suppose -5*a - 11 = 7*k - 4*k, a - 5*k = j. Is a != 26?
True
Let p = 694 + -693. Let j be (4/18)/(10/(-12)). Is p < j?
False
Let k = -74 + 291. Which is smaller: 216 or k?
216
Let c be (6/(-8))/((-21)/(-12)). Let f = -43/35 - c. Are f and -1 non-equal?
True
Suppose l = -2*a - 3*l - 4, 2*a + 3*l + 2 = 0. Suppose d = -a*d - 6. Let f = 0 + -2. Is d at most f?
True
Suppose -8*n - 199 + 207 = 0. Is -5/12 at least as big as n?
False
Let u = -210 + 629/3. Which is smaller: 66/7 or u?
u
Suppose -2*d - 10 = 3*s + 2*s, -s - 3*d = 15. Suppose s*w + p = -2*w + 9, -3*w - p = -12. Is -4 <= w?
True
Let k = -81/4 + 20. Let l(a) = a + 3. Suppose 0 = 2*j + 3 + 5. Let x be l(j). Is k equal to x?
False
Let i = 36 - 59. Suppose 4*r - 20 = 2*g + 60, -2*r + 3*g + 44 = 0. Let j = r + i. Are -5 and j equal?
False
Let s = 2 + 1.2. Let p = s - 2.2. Suppose 2*b = -3*x + 2 + 9, -2*x + 11 = 5*b. Do p and x have different values?
True
Suppose -30 + 32 = -2*x, -3*y = 2*x - 16. Is -17 less than or equal to y?
True
Suppose 2*c = -0*c - 4*j + 6, 0 = -2*j + 2. Let a be 7 + -3 - 176/42. Is a < c?
True
Let f(r) = -8*r**3 + r**2 - 20*r - 22. Let o be f(-1). Let x = -6 + 9. Let a = x - -4. Are o and a equal?
True
Let r(v) = 107*v**3 - 7*v**2 + 12*v - 1. Let o be r(2). Is 850 != o?
True
Let d be 180 + (-3)/(-5 + 2). Let b be 5/(-20)*d/9. Let w = -25/9 - b. Is w at least as big as 3?
False
Suppose -63*x + 66*x - 4*i - 340 = 0, x = 5*i + 106. Which is smaller: x or 117?
x
Suppose 34*a = -25*a - 826. Let o be 6/(-33) - (-130)/(-11). Do a and o have the same value?
False
Suppose -35*m - 6298 = 1787. Are -233 and m non-equal?
True
Suppose 5*s - 27 = -2*t - 37, -4*s - 5*t - 25 = 0. Is s at least as big as -3/95?
True
Let a = 379 + -308. Which is smaller: a or 76?
a
Suppose -3*v + 20 = k, -2*v = -0*k + 2*k - 20. Suppose -x = -2*s - v - 66, -5*x = s + 8. Which is smaller: -32 or s?
s
Let q(w) = 0 + 15*w + 4*w**2 - 3*w**2 - 9 + 2*w**2. Let o be q(-7). Suppose -z + n = -2*n - o, 4*z - n = 77. Which is bigger: z or 33/2?
z
Suppose 0 = -18*b - 8*b - 2912. Which is smaller: b or -114?
-114
Suppose -12*h - 13 + 121 = 0. Suppose -5*v + 2*p = -5, -5*p = 5*v - h + 39. Is 1/52 greater than or equal to v?
True
Let l = -99 - -103.1. Let p = -4 + l. Which is bigger: -29 or p?
p
Let h be 3*(54/16 - 3). Is -0.1 equal to h?
False
Suppose 248 + 27 = -25*a. Let p = 1 + -1. Suppose p*o - 6 = 2*o, 5*i + 69 = -3*o. Is a smaller than i?
False
Suppose -4920 = 13*n + 384. Is n less than -409?
False
Let v be (-7)/(-9) - (3 + (-104)/39). Which is smaller: v or -3/10?
-3/10
Let l be (-1)/(25377/228371) - -9. Which is smaller: 0 or l?
0
Suppose -12*j = 1325 - 233. Are j and -91 unequal?
False
Let d = -4 + -2. Let f = d + 6.1. Is f != 1?
True
Let c = 46.5 + -43. Let z = -3.4 + c. Suppose -2*q - j = -1, j - 2 = -3*q - 3. Is z smaller than q?
False
Let g = -1143 + 7921/7. Is -2/7 > g?
True
Let b(w) = -w**2 - 13*w - 6. Let y be b(-13). Let u be (-10)/(-70) + y/(-7). Which is bigger: u or 9/4?
9/4
Let q = -10883/31 - -351. Suppose t + 3*l + 5 = 2*l, -3*l - 17 = 5*t. Let v be ((t*6)/3)/(-2). Which is smaller: q or v?
q
Let v(i) = i**3 - 10*i**2 + i - 10. Let s be v(10). Let q = -54/47 - -4057/3572. Are q and s equal?
False
Let a = -479043/110 + 4355. Which is smaller: -1 or a?
-1
Suppose k + 3 = 0, 4*z - 65*k + 60*k + 1057 = 0. Which is bigger: z or -267?
-267
Let w = -91 - -2640/29. Suppose -2 = 2*n - 4. Is w equal to n?
False
Let x = -140 + 136. Let w(k) = -k**3 + 9*k**2 + 12*k - 8. Let m be w(10). Suppose m = -7*z + 5*z. Which is smaller: z or x?
z
Suppose 3*z - z = 4*k + 10, 4*z - 8 = 2*k. Let y be ((-28)/(-16))/(z/(-4)). Let g = 6 + y. Which is smaller: g or -2?
-2
Let d = 17 - 7. Suppose -2*b + d = -m + 4*m, -2*m - 6 = -5*b. Is m at least as big as 10/11?
True
Let j be 27 + (-31 - -16) - 16. Let a = -3 + 0. Are a and j non-equal?
True
Suppose d - 16 = 4*w, 7*d + 4 = 4*d - w. Let t be ((-2)/30*97)/(-1). Let o = t - 20/3. Are o and d non-equal?
True
Suppose -21*i + 323 = 8. Suppose i = -3*m, -7*v - m = -3*v + 85. Which is smaller: v or -18?
v
Let f be ((-9)/(-6))/((-9)/