er: -1/10 or w?
-1/10
Let k = -5725/1552888 - 1/3112. Is k <= -1?
False
Let d(v) = -3*v + 6. Let m be d(1). Which is smaller: m or 62/15?
m
Let c be 4/3 - (24 - 22). Which is smaller: c or 2.58?
c
Let k = 16 - 13.5. Let t = 2.37 - k. Let r = t - 0.07. Which is greater: r or 10?
10
Suppose -5*u + 118 = s, -2*u + 4*s = -s - 58. Suppose -7*k + 18*k - 275 = 0. Is k at least as big as u?
True
Let t be 4/60*6 - 486/(-10). Suppose -7 = -8*p + t. Is 7 less than or equal to p?
True
Let x = 440 + -3075/7. Which is smaller: -1/4 or x?
-1/4
Let w = -31 - -34. Which is smaller: 30/19 or w?
30/19
Let v be (((-320)/50)/16)/(6/10). Let w = -0.2 - -0.21. Is v at most w?
True
Let a be (40/12)/5*138. Suppose 0 = -3*h - 2*r + 279, 2*h + 40*r = 39*r + 185. Which is bigger: h or a?
a
Let h = 739 - 1149. Is h at least as big as -410?
True
Let o be 28/84*(-3)/(-3)*2. Is o <= 1.29?
True
Let f be -2*((-8)/(-2) - -2). Let h be 3*((-40)/f + -3). Let t = 0.7 + -0.4. Which is smaller: t or h?
t
Let f be -4 + (-3)/(-2)*2. Let r(j) = j**2 - j - 1. Let q be r(f). Let l be 50/32 + 6/(-4). Which is bigger: l or q?
q
Let c(h) = -h**3 - h**2 + 6*h - 4. Let r be c(-4). Which is smaller: r or 24?
r
Let h(g) = 28*g**3 - 2*g**2 + 2*g - 1. Let p be h(1). Let j = -35 + p. Let d be j + (-7)/((-35)/20). Which is smaller: d or -5?
-5
Let p(h) = 19*h - 344. Let r be p(19). Let k = 8 - -9. Is k < r?
False
Let x(h) = 79*h. Let s be x(4). Let d be (3 + 12)*s/(-70). Let r = d + 68. Which is bigger: r or -2/3?
r
Let x = -21 - -21. Let u = -2 + x. Let t = 0.1 + 0.1. Is u bigger than t?
False
Let k = 73.5 - 74.5. Which is smaller: -2.1 or k?
-2.1
Let t = 0.761 - -58.939. Let h = -60 + t. Which is smaller: 7 or h?
h
Let w(h) = 0*h**3 + h**3 - h + 11*h + 0 - 10 - 9*h**2. Let g be w(8). Suppose 0 = -3*i + 5*j + 10, 2*j + j + g = 5*i. Which is smaller: 1/13 or i?
i
Let b be (2/(-1))/(-1*1). Let x(t) = -4*t - 28. Let r be x(-9). Suppose -5*w + 10 = 5*c, -2*w + 4*c - 2*c = -r. Which is greater: b or w?
w
Let r = 3 - 1. Let p = -129739/4 + 32192. Let b = p + 245. Are r and b equal?
False
Let j = 75 - 25. Is j > 49?
True
Let c = -280 + 287. Which is bigger: c or -3?
c
Let n be 3/(-2)*(-2)/3. Let s be ((-2)/3)/((8 + -7)/3). Which is greater: s or n?
n
Let p(l) = -l - 1. Let h be p(-7). Let o = h + -6. Suppose 4 = 4*k - n - 3*n, o = -4*k + n - 5. Are 1 and k equal?
False
Let g = 2.7 - -10.3. Let z = g - 9. Let s = z - 10. Is s less than -1?
True
Let w be (4404/30)/((-15)/(-75)). Are 735 and w equal?
False
Suppose 0 = k - l, -l + 1 = -3*k - 1. Let m be (k + 0)*(0 + 0). Let d be ((-8)/12*(2 - 5))/(-2). Which is smaller: d or m?
d
Let a(i) = -i + 1. Let g be a(-7). Let s = g + -8. Let b be 60/(-22) - (s + -2). Is b < 0.1?
True
Suppose 0*o - 308 = -4*o + 5*v, v = -4*o + 284. Let a = 72 - o. Is a greater than -1/2?
True
Suppose 22*k = 19*k - 42. Let m = -14 - k. Is -3/10 > m?
False
Let a be (-88)/(-3)*(-12)/10. Let l = a + 2238/65. Is l equal to -2?
False
Suppose 5*c + 2*c = 35. Suppose -2*a - 2*a = c*m - 12, 0 = -3*m + a - 3. Is m less than 2/9?
True
Let y be 18/(-90) - (-24)/(-5). Is -0.1 equal to y?
False
Suppose -2*h + 1 = -h. Suppose -x + h = -2. Let b be (-1)/(-3) + (-13)/x. Is -13/5 < b?
False
Let x = -3 + 62. Let m = -59.16 + x. Which is smaller: -1 or m?
-1
Let g be 33*(-2)/(-4) + (-6)/4. Let v be ((0 - 0)/(-1))/(g/(-5)). Is -0.8 bigger than v?
False
Let b(g) = 5*g + 26. Let x = 118 - 122. Let z be b(x). Are 4 and z non-equal?
True
Suppose -3*w = -9, g = -2*w - w + 1313. Let p be (-4)/(-22) + g/88. Is 1 at least as big as p?
False
Let w = -428 - -1358. Let b be (-4)/(-24) - w/5148. Which is greater: 1 or b?
1
Let x be (-2 + 0)*50/350. Is -263 >= x?
False
Let p(j) = 2*j**3 + j + 2*j**2 + 0*j**3 + 4 - j**3 + 0*j. Let h be p(-3). Let x = -6 - h. Which is smaller: -0.2 or x?
-0.2
Let f(c) = -c**3 + 13*c**2 + 15*c - 7. Let y = 30 + -16. Let t be f(y). Suppose t = -g + 6. Which is smaller: g or -14?
-14
Let j(g) = g - 10. Suppose 9 = 5*n - 11. Let l be n + (-1)/2*-6. Let b be j(l). Does -5 = b?
False
Let n = 230.51 - 230. Let f = 0.01 - 0.11. Which is greater: n or f?
n
Let z be (0 + -9)/((-24)/(-200)*-5). Let v be 1 + (-1 - -1) - -15. Is v at most z?
False
Let q be (-1)/(-1)*(-3 - -2). Suppose 0 = -0*k - 4*k + 32. Let s be -1 - 1*k/(-6). Is s at least q?
True
Let m = 20115/7 + -2896. Let c = m - -120/7. Which is greater: -4 or c?
-4
Let f(h) = -h**3 + 4*h**2 - h + 5. Let v be f(4). Let t be v/6 + (-9)/(-18). Is 0 > t?
False
Suppose 2 = -f + 3. Let z = 3790 + -18947/5. Which is smaller: z or f?
z
Let d = -40 - -40. Which is bigger: d or 4/97?
4/97
Let r = -38328 - -497888/13. Is r at least -29?
True
Let o be 15/10*4/(-6). Let t = -402/5 - -81. Let w = t - 19/15. Which is smaller: o or w?
o
Suppose -3*o = 19*o + 17644. Which is smaller: o or -801?
o
Let u be (-6)/(-3) + 0 - -1. Suppose 0 = -4*d + u*d. Which is smaller: 2/9 or d?
d
Let n(g) = -4*g**2 - 19*g - 19. Let p be n(-6). Let j(s) = -12*s. Let a be j(4). Which is greater: a or p?
a
Let b(s) = s**3 - 9*s**2 + 9*s - 6. Let g be b(8). Let h = 9/95 - 1/5. Is h greater than g?
False
Suppose -2*j - 9 = -5*j. Suppose -j*u + 3 = -0*u. Let q be (2 - u)/(-2 - 1). Which is smaller: -1 or q?
-1
Let o = -398 - -375. Which is greater: -6 or o?
-6
Let l be 4/6*(-2)/144. Let y = l + -211/540. Which is greater: 4 or y?
4
Let m be (-18 + 17)/(-2 - -17). Does -1/19 = m?
False
Let r(j) = j + 7. Let q be r(-8). Let y = 64 + -64. Which is bigger: q or y?
y
Let g = -185248/79 - -2345. Which is smaller: g or -2?
-2
Let l be (-54)/(-12)*(-4)/(-30). Let q be ((5/10)/(14/(-4)))/(-1). Which is smaller: l or q?
q
Let i(q) = 40*q - 321. Let c be i(8). Do c and -1/619 have the same value?
False
Suppose -39 = l + 4*v, 3*v = -l + v - 29. Let t = -72 - -54. Which is smaller: l or t?
l
Let c(l) = -l**3 + 9*l**2 - 5*l - 5. Let i be c(9). Which is smaller: i or -51?
-51
Let h = 3278/1183 + 5/338. Let v = h + -5/2. Which is smaller: -45 or v?
-45
Let u = 81 + -98. Let w = u - -17.3. Which is greater: w or 13?
13
Suppose -4*y = -6 - 2. Suppose 5*t + 10 = 3*c + y*c, 0 = 2*t - c + 2. Let w = 4/71 + -371/284. Is w greater than t?
False
Let w(l) = 2*l**2 + 25*l + 115. Let s be w(-9). Is 55 at most s?
False
Let o = 32 + -34. Let t be (4 + -3)/((-2)/o*31). Does 0 = t?
False
Suppose -38 = -37*t + 147. Let n be 58/8 + (-3)/12. Which is smaller: t or n?
t
Suppose 43 = -4*o - l, -o - o - 35 = 5*l. Suppose -4*u = 4*h - 16, 4 = -4*u + 3*u + h. Suppose 0 = -5*c - 3*g - 56, -c + 4*c + 4*g + 38 = u. Is o <= c?
True
Let m = -18 + 19. Let y be (-2 - (-132)/63)/(4/6). Are y and m equal?
False
Suppose 21*b - 23*b - 24 = 0. Suppose 4*c - 29 - 3 = 0. Let n = b + c. Is n < -3?
True
Let b(t) = 2*t**2 - 25*t + 14. Let k be b(12). Let v be 6*(24/12 - 3/k). Does v = 22/5?
False
Let k be ((-1)/(7/(-3)))/(-78 + 83). Is 1 < k?
False
Let k(c) = 7*c**2 + 2*c + 5. Let x be k(2). Which is greater: 40 or x?
40
Let s be (-870)/(-8) - ((-175)/28 + 6). Is s bigger than 111?
False
Let a be ((-12)/(-14))/((-2)/1). Suppose -3*i - 3*i - 84 = 0. Let l = -13 - i. Which is smaller: l or a?
a
Let m(s) = -17*s**2 + 12*s - 12. Let o be m(1). Suppose 0 = -5*g - 20 - 70. Is g greater than or equal to o?
False
Let r be (-2)/(-3) - (-8)/(-21). Let t be (-11 + 11)/(1 - 2). Suppose t = 4*d + 8, 4*m + 3*d + 4 = -d. Is m < r?
False
Let x(g) = g**2 - 3*g - 2. Let p be x(-3). Suppose 3 = -r + p. Suppose -2*t - 5 = f, 0 = 4*t - 2*f + 5*f + r. Which is smaller: t or 5?
t
Suppose 30 = 7*a - 9*a. Suppose -s + 3*r - 19 = 0, -r - 46 - 17 = 4*s. Is s greater than a?
False
Suppose -11*b - 3*z + 16 = -15*b, 0 = 5*z - 20. Which is smaller: -5 or b?
-5
Suppose -4*w = -31 + 11. Suppose -5*i - w = -25. Suppose -20 = 2*f - 4*c, -i*f = -c + 3*c - 10. Do f and -1/18 have the same value?
False
Let c(j) = -j**2 + j - 1. Let f be c(0). Let r = 2.34 - -0.06. Let n = 2.1 - r. Which is smaller: n or f?
f
Let b = -6 - -9. Suppose 0 = 2*a + q + 3*q + 60, b*a - 4*q = -90. Let m be a/12 - -1*2. Is 9 greater than or equal to m?
True
Let r = 0.04 + -0.16. Let x = 1.29 - 0.17. Let y = x + r. Which is greater: y or -3?
y
Suppose -c + 5*w + 21 = 0, -4*c + 30 = -4*w + 2*w. Let g be 7/(21/c) - 2. Which is smaller: g or -4/17?
-4/17
Let m(b) = 4*b**2 + 11*b + 22. Let u be m(-