Which is greater: -3 or s?
s
Let m = -175108/5 + 35204. Is m at most 183?
True
Let s = -0.01917 + -1.98083. Which is smaller: s or 118?
s
Let b be (-2)/(-18) + ((-1975)/279 - -3). Which is bigger: -4 or b?
b
Suppose 10*u = -2*i + 14*u + 6, -3*i = 4*u + 31. Let c be 23 + i + 5 - -5. Is c smaller than 30?
True
Let v = 0.38 - 33.38. Let n = 31 + v. Let l = 3/25 - 96/175. Which is bigger: l or n?
l
Let q = -8638 + 8664. Is q bigger than -11?
True
Let b(i) = i**2 + 7*i. Let u be b(-18). Let t be (u/(-72))/((-9)/(-4) - 2). Let x(q) = 3*q + 11. Let p be x(t). Which is smaller: p or -19?
p
Let u(a) = -a**3 - 33*a**2 - 31*a + 41. Let f = -146 + 114. Let k be u(f). Is 4/7 greater than or equal to k?
False
Let s = 11.011 - 3.011. Let f(y) = 5*y**2 - 2*y - 1. Let l be f(-1). Which is greater: s or l?
s
Suppose -12*m - 5*m + 276 = 293. Is m smaller than -46/45?
False
Suppose -2*q + 3*h + 3 = 0, -5*h = -4*q - 6*h + 27. Suppose q = 5*c + 4*x, 3*c + x - 7 = -c. Let o = 1 - -4. Are o and c equal?
False
Suppose 21*g = 5218 - 1228. Let t = -155 + g. Which is smaller: t or 33?
33
Suppose -v = -2*v - 35. Let m = 0.215495 + -0.315495. Which is smaller: v or m?
v
Let x = 20028 + -24076. Is -4048 greater than x?
False
Let n = -11837 - -13387. Is n < -0.1?
False
Let s = 416 - 366. Let x be s/(-3)*20/(-120). Are x and 2 non-equal?
True
Suppose 0 = 4*r + 2*h + 92, 85*r - 2*h + 124 = 80*r. Let t(k) = -k**2 - 21*k + 71. Let m be t(r). Which is smaller: 1/1066 or m?
m
Let d(u) = -51*u**2 - 1887*u + 102. Let f be d(-35). Which is bigger: f or 3673?
3673
Let g = 0.88 - -0.12. Let n = 8249 + -8374. Is n < g?
True
Let f be (0 + 1)/((-3)/(-117)). Let h = -762 + 877. Let x = -114 + h. Which is bigger: x or f?
f
Let h = 1/17682 - 10662251/88410. Suppose 128 = -2*y - 116. Do h and y have different values?
True
Let y = 0.102 - 0.07. Let h = -92.168 - -92.1. Let s = y - h. Which is bigger: 19 or s?
19
Let k be 0 + 91292/(-30432) - (0 - -3 - 6). Does k = -1?
False
Let x be 2/(-60) - 1009809/7830. Which is greater: -1172/9 or x?
x
Let o = 122 + -219. Let f = 96.969 + o. Let l = f - 0.069. Is -3/53 <= l?
False
Let f be 4/(-17)*(-9)/(-12). Let q(k) = k**2 - 4*k + 3. Let o(d) = 2*d**3 - 12*d**2 + 2*d - 10. Let j be o(6). Let r be q(j). Which is bigger: r or f?
f
Let r(j) = j**2 - 7*j - 10. Let u be r(8). Let i be 6 - (u - 4)*-1. Which is smaller: i or 19?
i
Let j = -32 - -32. Suppose l + j*l = -4*q + 7, 2*l = 3*q - 8. Is -24/31 at most l?
False
Suppose -3*v = -3*d - 15 - 3, -4*d = -v + 9. Let t be ((-10)/116)/(0 + d/(-2)). Suppose -2*p - 4 + 2 = 0. Which is smaller: p or t?
p
Suppose 253779 - 73954 = -25*j. Is j equal to -7193?
True
Let j = 265 + -283. Let o = 166 + -148.4. Let g = j + o. Is g at most as big as 7/2?
True
Suppose 0 = 5*u + 5 - 0. Suppose -6*h - 27 = 33. Let w be (2 - (-8)/h)*(-5)/7. Is w greater than or equal to u?
True
Let l = 9 + -10. Let s be 423/(-846)*(-16)/75. Which is greater: l or s?
s
Suppose -4*h - 2 + 6 = 0. Let b = 73603/35 - 10514/5. Which is greater: b or h?
h
Let d be ((-22)/55)/(0 + (-3)/15). Let u be d/(-2 + 4) - (-2 - -2). Does 1/14 = u?
False
Let o(j) = 7*j - 48. Let s be o(-8). Let r be (-15)/13 - 16/s. Is -6/5 at least r?
False
Let n = 81.16 + 1.84. Let q = 48 - n. Let z = -1.7 - -1.8. Which is smaller: q or z?
q
Let l = 8555.6 - 8555. Is -102/7 not equal to l?
True
Let u = -3171 + 3489. Is 321 <= u?
False
Let a = -17 + 63. Let s = -45 + 44.16. Let k = s + 0.74. Is k less than a?
True
Let j = 2911 - 2913. Which is greater: j or -67/58?
-67/58
Let n be (6/(-4))/(18/2). Let r = -192735 - -192734. Is r less than n?
True
Let a = -3.813 + -0.187. Let v = a + 69. Which is smaller: -0.2 or v?
-0.2
Let x = -1189 + 1188.9. Let z = 6801 - 686895/101. Which is smaller: x or z?
x
Let t = 42 - 46. Let k(w) = -w**2 - 5*w - 4. Let h be k(t). Let m be (4 + -5)*(1 + 0). Which is bigger: m or h?
h
Let g be 1/(-2) + 294/12. Let d be 36/g*(1 - (3 + 2)). Let l be (-3 - d) + 2*(-91)/58. Is l bigger than 0?
False
Let y = -366 - -368. Suppose 0*d + y*d = -3*j - 11, d + 5*j + 16 = 0. Which is smaller: d or 10/29?
d
Let v = 533 - 313. Let c be v/33 - (-7)/3. Is 8 greater than or equal to c?
False
Let o = -5091 + 5120. Is 514 greater than or equal to o?
True
Suppose -4*v + 3*u + 90 = 0, u + 46 = -0*v + 2*v. Suppose 15 = -3*n - 3*d, -5*d - 1 = -5*n + v. Let q be (-53 - n/(-3)) + 21/7. Is q less than -50?
False
Let n = -2939169/5 + 589694. Which is smaller: 1859 or n?
1859
Let z = 58 - 59. Let n be z*2*-1*(-18)/(-12). Suppose n*s = -15 + 12. Is 1/121 greater than or equal to s?
True
Suppose -5*z - 2 = -2*j + 2, -2*j = 2*z - 4. Suppose 2*u = -42 - 2. Which is smaller: u or z?
u
Let k(s) = -s**2 + 4*s - 2. Let a be k(5). Let z(f) = 2*f + 10. Let v be z(a). Let o = 606 + -4264/7. Which is bigger: v or o?
o
Let x = -79438 - -2303976/29. Is x bigger than 10?
False
Suppose 1 = -x, 4*u + 99 = 2*u - x. Suppose 369*w - 588 = 381*w. Let t = u - w. Which is bigger: t or 2?
2
Let i be (-466 - -23) + (16 - 2). Is i greater than or equal to -1/5?
False
Let o = 134 - 223. Let f = o - -90. Let r be ((-2)/(-10))/((5/15)/(-1)). Which is smaller: f or r?
r
Let f = -1192/12075 + 2/575. Suppose -2*z = -3*c + 474, -c + 4*z + 55 = -93. Let j = -159 + c. Are j and f unequal?
True
Let i be (-4)/32 + 34626/30864 + -5 + 4. Is i at most -1?
False
Let u(p) = -4 + 4*p + 2*p + 105*p**2 - 109*p**2. Let c be u(1). Is c < -13?
False
Let x be (56/(-72))/(43/(-387)). Let w be ((-4)/(-8))/((-3)/(-178)). Let z = -30 + w. Which is bigger: z or x?
x
Let d = -0.1 + -0.9. Let v = 167 + -165. Let t be (-16)/(((-1)/v)/((-29)/58)). Which is bigger: t or d?
d
Suppose -98*w + 97*w + 2 = 0. Suppose a - 3 = w*a, 3*a = -2*p + 133. Is 69 bigger than p?
False
Let t = -41023 - -40992.3. Which is bigger: t or -9?
-9
Let t(d) = -4*d**3 - 36*d**2 - 6*d - 53. Let v be t(-9). Is v < 3/374?
False
Let l(w) = -43*w + 731. Let o be l(17). Which is smaller: -1/4 or o?
-1/4
Let w be (137/(-2))/(2/4). Let r be ((1/9)/((-9)/27))/((-19)/(-7809)). Is r bigger than w?
False
Let c = 115 + 32. Suppose -28 - c = -5*a. Let g = a - 34. Which is smaller: 4/35 or g?
4/35
Let i = -21469736 + 13413549. Let r = i - -7355297192/913. Let d = r - 11/83. Is -1 bigger than d?
True
Let n(b) = b**3 + 13*b**2 - 4*b - 23. Let p = -115 - -102. Let j be n(p). Which is bigger: j or 30?
30
Let c(h) = -h**2 - 9*h - 10. Let n be c(-2). Let o be (n + 2 + -12)*(3 - 2). Is o at least -5?
False
Let x(a) = a**3 + 445*a + 134. Let o be x(0). Suppose 8*d - 3*d - 3*w = 677, 5*w + 20 = 0. Is o >= d?
True
Let z = -56.8 + 57.166. Let s = 0.266 - z. Let b = 25.39 - 25. Which is smaller: b or s?
s
Suppose 761 - 56 = 5*i. Let v = 48057 + -47915. Is i at least as big as v?
False
Let c be ((-39)/52 + (-325)/4)/(-2). Let x be 12/4 - (1 + 1). Let s be (0 + (x - 0))*43. Which is greater: c or s?
s
Suppose 3*k - h = 61, 3*k + 63 = 6*k - 3*h. Let p be (-3 - (-88)/11) + k/(-11). Is p bigger than 2?
True
Let g(f) = 17*f**2 - 66*f + 228. Let q be g(10). Which is bigger: 1267 or q?
q
Let m = 562 - 1339. Let w = 777 + m. Which is smaller: -3/38 or w?
-3/38
Suppose -78 = 89*r - 11*r. Let s be (-12)/(-66) - (-224)/(-22). Let o be s/7 + (1 - 0). Is r >= o?
False
Let b(m) = -3 - 7 + 27*m - 22*m - 1. Let k be b(3). Suppose k*p = 8*p - 56. Is p greater than or equal to 15?
False
Let o(p) be the first derivative of 13*p**2/2 + 33*p + 20. Let f be o(-7). Is f >= -56?
False
Let k be 7/(19026/(-20))*(-561)/55. Is k greater than -1?
True
Let w be ((-34)/6)/(5/(-270)). Let y = w + -284. Which is smaller: y or 27?
y
Suppose 0 = 5*a + 6*f + 171 - 47, 0 = -3*a + 5*f - 83. Let i be (-52)/(-78)*(-1)/a. Do 1/3 and i have different values?
True
Let x be (2/(-5) + 2)*15/6. Suppose x = i - 2*s - 0, 5*i + s = 31. Suppose -2*a - 8 = -2*r - 2*r, 3*r + 15 = 5*a. Do i and a have the same value?
True
Let j = 103/249 + 21/83. Is j at most 691?
True
Let y = -463.1 - -498. Let u = 50.9 - y. Do u and -7 have different values?
True
Let h be 9/(-12) - (-522)/24. Suppose h = i - 8. Let t = 28 - i. Is -3/20 at most as big as t?
False
Suppose -29 = -267*y + 238*y. Let q = -5/7348 - 27437367/95524. Let d = q + 287. Which is smaller: d or y?
d
Let s be (-130 + 103)/((1 - 4)/3). Is s greater than or equal to -28/19?
True
Let k = -