s bigger: x or 103?
x
Suppose -5*x + 45 = -14*x. Which is bigger: x or -0.01?
-0.01
Let g be (-52)/26 + -3 + 1 + -57. Is g greater than or equal to -62?
True
Let a be 140/(-28) - 21*1. Let x = a + 28. Is 2 at least x?
True
Let o = -37 - -26. Let l(b) = 26*b + 76. Let s be l(-3). Is s smaller than o?
False
Let t = -16 - -15.9. Which is greater: t or 1.46?
1.46
Let n(z) = 4*z**2 + 67*z - 17. Let m be n(-17). Which is greater: -3/212 or m?
m
Let q(s) = 2*s**2 - 17*s + 6. Let l be q(8). Let o be l/(-11) - (-260)/990. Is 2/7 less than o?
True
Let k(y) = 4*y + 71. Let r be k(5). Which is bigger: 0 or r?
r
Suppose -5 = 2*t + 3*t. Let q = -2589/31 + 1/62. Let o = 81 + q. Which is smaller: t or o?
o
Let p = 3466 + -488702/141. Which is smaller: p or 1?
p
Let v = 7950.8 - 7951. Let y = 18.007 + -18. Which is bigger: v or y?
y
Let g = -26.62 - 0.38. Let i = g + 26.9. Which is greater: 9 or i?
9
Let f be 28 + -29 - 16/2. Which is smaller: f or 7?
f
Suppose 25 = 5*h, 74 = 2*c + 2*h - 8. Is 34 at most c?
True
Let v = -1 + 1.06. Suppose 3*h = -5*h. Which is greater: h or v?
v
Let b be (4*-6)/((-14)/(-147)). Which is greater: b or -251?
-251
Suppose 0 = 4*s + n - 82, -4*s + n + 72 = -3*n. Suppose 0*u - s = -4*u, -2*u + 7 = 3*o. Which is smaller: o or -2/29?
o
Let g = -601 + 593. Which is smaller: g or -10?
-10
Let j = 5.0557 + -0.0557. Which is smaller: -1/5 or j?
-1/5
Let t = 111 + -1127/3. Let v = t - -84946/321. Are 1 and v equal?
False
Suppose 3*o - 4*c = 28, -2*c + 5 = o + c. Suppose -5*p - o = -28. Suppose p*w + 66 = -2*w. Is w <= -10?
True
Let h = 181 + -228. Is -47 != h?
False
Suppose 0*k - 4 = k. Let q be -1*(-5 + 3) + 1. Let v be (-39)/9 + 1/q. Is v at most as big as k?
True
Let v(i) = -2*i + 10. Let t be v(0). Suppose 4*j - 33 = z, 0 = -j + 2*z - 0*z + t. Suppose -3*r - j = -5. Which is smaller: r or -4/7?
r
Let f be (1 + 2)*(-24 + 19). Which is bigger: 0.3 or f?
0.3
Let z be 5/7*-2 - (-6)/14. Which is smaller: z or 2/181?
z
Let a = -43.1 - -44.1. Let x = 0.1 + 0. Let v = -0.2 - x. Which is smaller: a or v?
v
Let t be ((-186)/(-5))/3 + 6/(-15). Let y(b) = 3*b. Let z be y(4). Is z less than or equal to t?
True
Let i be (-7)/(147/(-18))*7*1. Suppose 0 = 2*s + r - 3*r + i, -5*s - 3*r + 1 = 0. Are s and -3/19 nonequal?
True
Let u = -1.15 - -1. Let l = 4.65 + u. Let y = l - 5. Is y greater than -1/2?
False
Let v be (1/(-3))/((-1)/(-3)). Let s = -33998/17 - -2000. Which is bigger: v or s?
s
Let i = -3303/40 + 165/2. Let x = -209/1720 - i. Is x at least 0.4?
False
Let m be 190/6878*4/10. Does 0 = m?
False
Let p be 125/20 + 27/(-12) + 2. Let z be 5/(-8)*p/8*4. Are z and -3 unequal?
True
Let u be 19/(-4)*(-19 - 97). Is 552 at most as big as u?
False
Let i = -17 + 18. Let f be (-2)/(-6)*3 + 0. Does f = i?
True
Suppose 5*h - 12*h + 42 = 0. Let c be (h - (1 - -5)) + (-2)/(-7). Is c less than -0.8?
False
Let z be (-6)/(-10)*12/(-18). Suppose 0 = -4*v - 5*d - 40, 0 = 5*v - 7*v - d - 26. Are v and z unequal?
True
Let u be (376/16 - -8)*4/(-6). Do u and -22 have different values?
True
Let d be (1*8/6)/(51/(-68)). Is d greater than -1?
False
Suppose 6*h - 5*j + 10 = 3*h, -35 = -3*h - 4*j. Is h != 24/5?
True
Let r(b) = -6*b**2 - 7*b**2 - 1 + b**3 + 3*b**2. Let q be r(10). Which is greater: q or 1/3?
1/3
Suppose -26*i - 60 = -31*i. Suppose 0 = -2*d + 8*d + i. Which is greater: d or 13?
13
Let d be (112/18)/((-10)/(-60)). Let w = d - 38. Which is greater: w or -0.11?
-0.11
Let q(t) be the first derivative of t**3/3 + 3*t**2/2 - 2*t + 9. Let w be q(-5). Let d(h) = 2*h + 2. Let o be d(3). Are w and o equal?
True
Let y be (-5158)/6006 + 8/6. Let d = 1/334 + -411/25718. Let v = d + y. Which is bigger: v or -1?
v
Let m = 14.872 + 0.128. Which is smaller: m or 0?
0
Suppose -g = -2*t - 0 - 9, -5*t + 2*g - 23 = 0. Let h = -5 - t. Is -1/54 at least as big as h?
False
Suppose -103*p = -92*p + 7843. Is p < -713?
False
Let a be (0 + 17 + 0)/8. Let b(z) = 66*z - 263. Let r be b(4). Are r and a non-equal?
True
Let x be ((-68)/136)/(-2 + (-46)/(-12)). Let b(j) = 2*j**3 - 2*j**2 + j - 1. Let z be b(2). Suppose -c - z = -5*l, -5*l - 3*c = -6*c - 17. Is x != l?
True
Let p = -7 - -6.93. Let a = -0.34 + 0.21. Let h = a + p. Is 8 at least as big as h?
True
Let w(d) = d**2 - 2*d + 4. Suppose -5*p + 2*p = 0. Suppose 3*b = f + 14, 5 = -f - p*f. Let t be w(b). Which is greater: 5 or t?
t
Suppose 4*p + 3*r - 2 = 0, 0*p - 3*r = 2*p + 2. Suppose 0*x - x - p = 0. Let c = x - -2. Which is bigger: c or 8?
8
Let r(t) = t**3 - 5*t**2 + 3*t - 15. Let k(j) = j**3 - 2*j**2 + 3*j. Let c be k(2). Let u be r(c). Let i be 19/u + (-12)/78. Which is smaller: i or -2?
-2
Let f(h) = -h**2 - 6*h - 7. Let i be f(-5). Let j be (145/10)/(i/4). Let m = j - -29. Which is greater: m or -1?
m
Let m = -174 - -291. Let g be m/(-59) + (-2 - -4). Is g less than 0?
False
Let s = -152 - -151. Let f = 10 - 6.2. Which is smaller: f or s?
s
Suppose -5*h = i - 40, 4*i + 26 = -h + 91. Let x = i + -2. Is 2/13 at least as big as x?
False
Let z = 10 + -8. Suppose -z*x + 7*x + j = 41, 4 = x - 4*j. Suppose 3*f + x = -2*i, -f + 2*f = -5*i + 19. Do -6 and f have the same value?
True
Let d be (-242)/690 + 1 + 28/(-42). Suppose 32 = -5*c + 2. Let i = -7 - c. Which is bigger: i or d?
d
Let h be (1 - (-955)/(-1918)) + 9/(-18). Is h greater than or equal to -1?
True
Suppose 14 = d - 4*w - 18, -5*d = -5*w - 130. Let u be -4*(-3)/d*2. Which is smaller: 1/4 or u?
1/4
Let g be 2/(-6)*(16 - 13). Are -2/67 and g equal?
False
Let q be 3 - (5 - 984/198)*105. Is -55 >= q?
False
Let q = -2 - -4. Let p = q - -2. Let t be 48/(-27) - p/18. Is -3 at most t?
True
Let x = 757 + -5301/7. Which is smaller: x or -26.1?
-26.1
Suppose 0 = 2*f + n - 399, 6*n - 192 = -f + 4*n. Which is greater: f or 201?
f
Let p(y) = -4*y - 5. Let r be p(-3). Let m(s) = -5*s**2 + s - 1. Let d be m(1). Let a = 12 + d. Is a < r?
False
Let x(g) = -g + 15. Let s be x(15). Suppose s = 4*c + w - 13, -w - 3 + 4 = 0. Let l = 3 - 4. Which is bigger: l or c?
c
Suppose -1657 = -3*j + 14*b - 12*b, -2*b - 2759 = -5*j. Are 551 and j non-equal?
False
Let s = -188.6 - -188.4. Is -88/19 less than or equal to s?
True
Let b(q) = 4*q**2 + 19*q - 1. Let t be b(13). Let o = t + -509. Let f = o + -14453/35. Are f and -1 nonequal?
True
Let b(q) = -113*q + 0*q**2 - 2 + 1 - 16*q**2 + q**3 + 116*q. Let g be b(16). Let i be g/220 - (-3)/(-12). Which is smaller: 1 or i?
i
Let v(l) = -l**2 - 20*l - 35. Let z be v(-18). Is z at least as big as -10?
True
Suppose 2*d - 46 = 5*m - 2*m, 5*d - 38 = 2*m. Let w be (-2)/(-5) + -76*m/(-385). Does w = -1?
False
Suppose -13 = 16*n - 29*n. Let k be (18/(-42))/(n/(-18)). Is k less than or equal to 8?
True
Suppose -22 = -4*o - 26. Which is bigger: o or -0.057?
-0.057
Let y = 8 - 7.7. Let c = y + -1. Let x = -1060/3759 + -2/537. Which is bigger: x or c?
x
Let m = 13 + -10. Suppose 0 = -4*r - 0*r. Suppose x = -r*x - m. Is x smaller than -4?
False
Let a be ((-33)/55)/((-2)/10). Let u be (-9)/258*(-4)/a. Suppose -x = -2 + 1. Which is greater: x or u?
x
Let h(w) = -w + w**2 - 5*w + 5*w. Suppose -q = -3*q + 2. Let a be h(q). Which is smaller: a or 14?
a
Let z = -579.656 - 0.344. Which is bigger: 2 or z?
2
Suppose 5*y - 5*u - 885 = 0, -4*y = 32*u - 29*u - 729. Is y greater than 181?
False
Let z be (6/5)/(7 - 66/10). Suppose -5*k = -4*f + 115, -62 = 5*k + z*f + 18. Which is smaller: k or -20?
-20
Let m be (8/(-252))/((-22)/6 + 4). Let w = 2 + -1. Which is smaller: m or w?
m
Let f = -32/81 - 115/324. Let w be 6 + (-2 - -1) + -1. Suppose 0 = 4*u + w. Which is smaller: f or u?
u
Let c be 5*(0 - 1) - (-218 + 212). Is -1/377 less than or equal to c?
True
Let c(r) = -5*r + 25. Let p be c(5). Suppose 5*y + p = -25. Suppose 2*a - a + 2 = 0. Which is smaller: y or a?
y
Let w be (-1395)/18*(-14)/5. Is 217 greater than w?
False
Let i = -1978 - -27677/14. Are 0 and i equal?
False
Let i = -468.9 - -450. Let k = i - -19. Let w(z) = z - 1. Let p be w(4). Is k at most p?
True
Let i be (-2)/7 + 10/(-14). Suppose -2*z - 145 = -3*z + 3*k, 5*z - 712 = 2*k. Let t = z - 1274/9. Is i > t?
False
Let n(v) = v + 5. Let o be n(-5). Let p be (-1 + -1)/(64/68) + (75 - 72). Which is smaller: o or p?
o
Suppose 5*k - 2655 = 3*g, -6*g + g + 5*k = 4415. Let i = g - -7912/9. Let p = i + 7/18. Which is smaller: p