j?
True
Let p be 6 + (3 - ((-132)/1122 - 635/(-51))). Is p greater than or equal to -193?
True
Suppose m + 8 = 10. Suppose -108 - m = 11*a. Let b be (-10)/(-25) + 14/a. Which is smaller: -2/37 or b?
b
Let g(i) = -i**2 + 104*i - 141. Let m be g(0). Is m greater than 1/4?
False
Let i be (-3)/6 - (-6 - 481/26). Is 306/13 less than i?
True
Let a = 945 - 3249. Does a = -2305?
False
Let d(t) = -3*t**2 + 11*t + 20. Let y = -121 + 127. Let i be d(y). Is i greater than -3?
False
Let p = -13430/3 - -4911. Let s = p + -439. Is s at most as big as 0.5?
True
Suppose -5*z - 2*a = -69 - 61, a + 61 = 2*z. Suppose -4*b = -9*w + 6*w - 151, 2*b + 96 = -2*w. Let j = w - -77. Is j greater than or equal to z?
True
Let n be 4 - 7/(8771/(-359597)). Let j = n - 291. Which is greater: 1 or j?
1
Let t be 10404/192807 - (-4)/(-74). Which is bigger: 0 or t?
0
Suppose -11*q + 20*q - 93 = 40*q. Are 110/17 and q equal?
False
Let j = -16992 + 19225. Which is bigger: 0.2 or j?
j
Let s be 14/3*(4725/(-6))/(-7). Let g be s/(-1010) - 3/(-6). Let w(n) = -2*n**2 - 21*n - 10. Let m be w(-10). Which is smaller: g or m?
g
Let s be 1 + (-35)/20*(24/(-28))/(-3). Suppose -o + 212 = -5*f, 2*f + 52 = f - 3*o. Is f at most as big as s?
True
Let j be ((-12)/9)/(1/3). Let t = 3 + j. Let o = 1981/2 - 33673/34. Does o = t?
False
Let w = 106 + 641. Let g be ((-6)/4)/((-6030)/w - -8). Which is greater: g or 20?
g
Let m(p) = 2*p**3 + 3*p**2 + 4*p - 11. Let o = -93 - -89. Let v be m(o). Is -107 != v?
False
Suppose -5*j + 5*n = -j - 495, -5*j = 4*n - 588. Let r = j + -51. Let o be 196/(-21) - -5 - 9240/(-126). Is o != r?
False
Let o = 2615642/35 - 74722. Which is smaller: 12 or o?
o
Suppose 3*u - 332 = 547. Suppose -418 = -9*y + u. Are y and 78 unequal?
True
Let l = 1 + 0. Let t be 265776/(-952) + 0 + -4 + 1. Let u = -282 - t. Which is greater: u or l?
l
Let r be (1/3 + (-35)/60)*1556. Let g = r + 657. Is g smaller than 269?
True
Suppose -15*m - 4366 = 59*m. Which is bigger: m or -63?
m
Let o be 154/(-33)*(-183744)/847. Do o and 1013 have different values?
True
Let m(n) = 3*n**2 - 7*n + 28. Let s be m(7). Suppose 0 = d - 4*d + s. Let b be 1 + (-43)/d + 0. Is 1 at most b?
False
Let g = -4621 + 7272. Is -0.1 > g?
False
Let z be 475661/(-158903) + ((-3)/(-1) - (1 + -1)). Is -1 equal to z?
False
Let i(s) = s**3 - 4*s**2 + 3*s - 1. Let g be i(3). Let d = 0.0546 - -2.2454. Is g >= d?
False
Let b = -50 - -51. Suppose 4*w = 5*w - 4*t - 13, 4*w + t = b. Which is smaller: w or -3/31?
-3/31
Let g(c) = -1036*c + 1911. Let j be g(2). Which is greater: j or -172?
j
Let g = -4065 + 4419. Are 354 and g non-equal?
False
Suppose 8*l = -152 - 320. Let m = -330 - -322. Let f(u) = -u**2 + u + 14. Let y be f(m). Is y at most as big as l?
False
Let d = 179 + -182. Let o(a) = a**3 - a**2 - 3*a - 4. Let u(k) = -k. Let j(c) = -o(c) + 5*u(c). Let z be j(2). Is d >= z?
True
Let h(l) = 5*l**3 - 2*l**2 - 43*l - 289. Let x be h(-7). Is x greater than -1803?
True
Let s = 152115/44 - 3457. Let d = s + 15/44. Which is bigger: 0.03 or d?
d
Let p = -154 - -153. Let w be (-10)/40 + (-7338)/(-29160). Is w bigger than p?
True
Let j be 1 + -56*(-2)/(-113). Let c(f) = 6*f**2 + 42*f + 5. Let u be c(-13). Let i = -474 + u. Which is smaller: j or i?
i
Let w = 27.987 + 0.013. Let h = w + -29.5. Let d = 0.97 - 0.97. Which is bigger: h or d?
d
Let h be 3/5 - (80064/90 - 14). Is -3 less than h?
False
Let a = -1184 - -2182. Let q = -996 + a. Is -14 greater than or equal to q?
False
Let v = -168 - -166. Let f = v + 2. Let i be (-1 - -3) + (-27)/8. Which is smaller: f or i?
i
Let l be 1 - -19 - (-5)/5. Suppose -3 = -4*y - 3*c - 26, 3*c + l = -3*y. Let b(o) = -3*o - 7. Let j be b(y). Which is greater: 11 or j?
11
Suppose 4*s + c = 7, s = -3*s - 2*c + 6. Suppose -s*g = -3*g + q + 48, g - 56 = -q. Suppose 35 - g = m. Is m equal to -18?
False
Let m(c) = 5*c + 67. Let a(z) = -3*z**2 - 35*z - 122. Let p be a(-6). Let u be m(p). Which is bigger: u or -135/4?
u
Let m(j) = -j**3 - 6*j**2 + 8*j + 7. Let t be 3 - (-1 + 7) - 4. Let u be m(t). Let p be 26 + (u/2)/3 + -1. Which is greater: 23 or p?
p
Let q = 5759 - 5759. Does -21/110 = q?
False
Let g = 328 - 299. Let j(s) = -s**2 + 26*s - 83. Let b be j(g). Is b != -0.2?
True
Let k be 8/(-12) - 34/(18/15432*-8). Is 3638 greater than or equal to k?
False
Let b be (-54)/90*(-14390)/42. Which is smaller: b or 206?
b
Suppose -a + 8 = -2*b - 1, -3*a + 23 = -5*b. Let z = -37 + b. Let u = z - -19. Which is bigger: -19 or u?
-19
Let m = -2905380/199 - -14600. Is 0 > m?
False
Let x = 129837.0425 + -130056. Let y = -219 - x. Which is smaller: 0.1 or y?
y
Let f = 95.2 + 378.8. Which is greater: f or 0.4?
f
Suppose -91 = m + 2*n, -4*n + 54 = -m - 31. Is -90 at least m?
False
Let v be -1*2/(291/(-285) + 1). Let k = v + -151. Is k at least as big as -56?
True
Suppose 0 = -16*z + 7034 + 10566. Let p be ((-15)/z)/(-2 + 51/24). Which is bigger: p or 1?
1
Let f be 1223/7 - 2/(-7). Let j be ((-32)/14)/((-50)/f). Let m = 707/2 + -3459/10. Does j = m?
False
Let c = 1035 - -4494. Let v = -193499/35 + c. Which is smaller: v or 1?
v
Let x(o) = -2*o**3 - 22*o**2 + 25*o + 13. Let u be x(-12). Is -1/2406 >= u?
False
Suppose -626*h + 633*h - 4844 = 0. Suppose -5*t = -d - 866, -d - h = t - 5*t. Is 175 greater than t?
True
Suppose 2*q = 3*g + 24, -28 = -4*q - 4*g + 5*g. Let a be 256/q*((-15)/(-10))/1. Which is smaller: 66 or a?
a
Let b be (1 + -1)/(62 + -58). Is b >= -23/287?
True
Suppose 82 = 3*a + 5*g, -5*a + 4*g + 65 = -47. Does 60 = a?
False
Let f = -179904/1100685887 + 2/75343. Which is smaller: f or 0?
f
Let u = 181845/4 - 1991991/44. Which is smaller: 190 or u?
u
Suppose 3*c = 23*c - 10*c + 10. Let m = -39 + 24. Let a be (12/m)/((-4)/(-30)). Is a >= c?
False
Suppose 229*w - 35 = -12*w - 35. Let t be (-5)/(-15) + (-82)/318. Are w and t non-equal?
True
Let p = 429 + -257. Let z = p - 151. Is 0.08 less than or equal to z?
True
Let h(f) = -51*f - 78. Let d be h(-3). Suppose -2*y = 2*l, -79*y + d*y = 4. Which is greater: 2/73 or l?
l
Let f = -0.11905 + 0.07905. Is f at most as big as -19.8?
False
Suppose -44 = -254*l + 265*l. Let g be l/(4/(-3)) + (-2185)/943. Which is smaller: g or 1?
g
Let t be 7 + 100/10 + 182. Which is smaller: 3 or t?
3
Let s = 340001/188574 - 191/106. Is s != -1?
True
Suppose 78*b - 79*b + 4 = 0. Let j = 0.17 + 35.83. Let o = j - 31. Which is smaller: o or b?
b
Suppose 5*n + 6 = 4*p + 3*n, -n - 9 = -5*p. Suppose 0 = -3*v - 6, v + p*v = -d + 138. Is d at least as big as 144?
True
Suppose -4*n = -4*v + 12, 0 = 8*n - 10*n - 6. Let a = 41/10 - 3957/970. Which is smaller: v or a?
v
Let p(q) = -9*q**2 + 81*q - 10. Let c be p(9). Which is greater: c or -49?
c
Let h(o) = 2*o**3 + 61*o**2 - 33*o - 63. Suppose 3*v + 2*g = -93, -g = 5*v + 3*g + 155. Let r be h(v). Which is greater: 2/475 or r?
2/475
Let x = -0.07533 + -34.92467. Which is smaller: 28 or x?
x
Let y = 13 - 13. Suppose -4*m + 66 + 106 = y. Let c = -39 + m. Is -2 less than or equal to c?
True
Let i = 5177.07 - 5062.5622. Let k = -16.5292 - i. Let p = k + 131. Are 0.1 and p unequal?
True
Let j = -62.35 - -1.35. Which is smaller: j or 3/7?
j
Let o(f) = 19*f - 34. Let i be 4/(-6) - 15/(-18)*8. Let c be o(i). Is 79 equal to c?
False
Let l = 2.87 + 181.13. Let v = 173 - l. Which is bigger: v or 0.05?
0.05
Let g be (-10)/285*-3 - (-10036)/(-38). Let b = g - -3952/15. Let l(r) = -r**2 - 9*r - 10. Let n be l(-8). Which is greater: n or b?
b
Suppose 0 = -c - 4*a - 7, -5*a - 4 = 5*c - 14. Suppose -4*g - 4*n = 4, c*g + n + 3 = -3*n. Let b = 0.37 + -0.07. Which is greater: g or b?
g
Suppose 5*a = b - 377, -2*b + 11*a - 6*a = -739. Suppose -n - 767 = -4*d, 3*d + 4*n - 199 = b. Is 192 less than or equal to d?
False
Suppose s = 4 - 3. Let o be ((-624)/(-660))/((-4)/90). Let i = 4936/231 + o. Which is smaller: s or i?
i
Let q = -406 - -2037/5. Let j = -254.05 + 254. Is j > q?
False
Let h be 458/3 + 20/15*(-60)/48. Which is greater: -24 or h?
h
Let n = 64 + 7. Let o = n + 7. Suppose -3*z - 6 = 0, -4*z = 2*q - 2*z + o. Are 2/5 and q non-equal?
True
Suppose 13*v - 27*v = -126. Let j be 6 - (-127)/(-190)*v. Is 0 greater than or equal to j?
True
Let d = -2.1 - -0.1. Suppose 2*t + 5*i = -10, -5*t + 5*i = 2*i - 37. Suppose -3*r - t*r + 8 = 0. Is d bigger than r?
False
Let z = 30 + -24