s greater: 2 or x?
2
Let b be 1 + (3374/(-843) - 1) - 50868/(-12717). Which is greater: b or 0.2?
0.2
Suppose -q + 6 = -3*b + 14, -3*b - 3*q + 12 = 0. Suppose 0*a = c - b*a - 15, 4*a + 86 = 5*c. Let l be (-4)/c*525/20. Is -7 bigger than l?
False
Let a(k) = -10*k + 8. Let z be a(6). Let x = -164 + 114. Let g = z - x. Do g and -5/2 have different values?
True
Let x = -283 - -191. Let k = 20 + x. Let r = k - -69. Which is greater: r or -8?
r
Let a(z) = 56*z + 617. Let o be a(80). Is o smaller than 5097?
False
Let v = -754 - -275. Which is smaller: v or 1?
v
Let f(h) = h + 216*h**2 - 4*h - 55 - 215*h**2. Let x be f(9). Are x and -2/189 nonequal?
True
Let q = -4637082440041/4114504302 - 4/36092143. Let u = q + 1127. Which is bigger: -1 or u?
u
Let m be (-254)/38 + 1 + 3. Let k = 968/57 - m. Which is greater: k or 20?
20
Suppose 0 = 4*p, -5*s = -0*p - 3*p + 85. Let z = -20 + s. Let m = 43311 + -43346. Which is smaller: m or z?
z
Let a = 0.8376 - 1.0376. Let h = 0 + -0.4. Let v = -0.6 + h. Which is greater: a or v?
a
Let q = 21.3346 - 0.3346. Let m(t) = t**3 + t**2 + 1. Suppose 2 = -5*k - 3. Let l be m(k). Do l and q have the same value?
False
Let d(v) = v**2 - 1. Let n(u) = u**2 - 2*u - 3. Let a be n(3). Let t be d(a). Let y be ((-3)/(3 + 12))/((-312)/(-30)). Is t < y?
True
Let g(s) = 6*s**2 + 219*s - 105. Let y be g(-32). Is -970 >= y?
False
Suppose -35*i + 261 = 226. Is -2/97 at most as big as i?
True
Let b be (1/(-2))/(149/2980). Is -355/38 < b?
False
Let f = 819 + -866.7. Let j = 53.7 + f. Is j < 3.3?
False
Let x(r) = 4*r**2 + 38*r + 191. Let y be x(-10). Is 1057/5 <= y?
False
Let g = 124.6317 - 124.7. Let r = g - -0.1683. Which is smaller: r or -51?
-51
Suppose -10*s + 15 = -5*s. Suppose -j - 10 = -s*j, 5*j = -4*h - 91. Let p = -88/3 - h. Which is bigger: p or -2?
p
Let a(o) = o - 4. Suppose x + 220 = -4*x. Let t = -38 - x. Let u be a(t). Which is bigger: 3/16 or u?
u
Suppose -49*u = -39*u - 40. Let p be (-14)/(5 + -3)*(u + -5). Which is smaller: p or -4?
-4
Suppose -188 = -34*f + 30*f. Let x = f - 44. Suppose -3*r = -0*l + 2*l - 3, x*l - r + 12 = 0. Do -3 and l have different values?
False
Suppose y - 2*y - 48 = t, 4*t = 8. Let p = y + 52. Suppose -p = 3*h - 4*h. Which is smaller: 9/5 or h?
9/5
Let g be 5*(-1 + -5)*66/(-22). Let a be ((-21)/(-6) + -5)*g. Is -136 at least a?
False
Let o = -1.91 + -252.09. Let m = o + 253.56. Which is smaller: m or -3/7?
m
Suppose 167 = -5*a - 4*i + 29, -5*a - 96 = -2*i. Are 41 and a equal?
False
Let a = -9776 - -10514. Which is greater: 737 or a?
a
Let h = 85 + -61. Suppose 78 = -h*x + 11*x. Is x bigger than -6?
False
Let g = -0.6929 - 0.0171. Let b = -0.81 - g. Which is smaller: b or 294?
b
Let f = 145 + -181. Let c be 3/(-18) - 3534/f. Is 98 smaller than c?
False
Let x be 32/24*(-135380)/80. Which is greater: x or -2255?
-2255
Let v = -21.6 + 8.3. Let x = v - -11. Let c = -2.43 - -1.43. Which is greater: c or x?
c
Let h(p) = -11*p - 36. Let l be h(-3). Let j be (4/l)/((-108)/342). Which is smaller: j or 3?
3
Let f(l) = 3*l + 7. Let p be f(-4). Let u(t) = -t**2 + 26. Let n be u(p). Which is greater: n or 12/25?
n
Let v be (3 + (-6 - -4))/(-1). Let z = v + 4. Which is bigger: z or 7?
7
Let f(p) = -p**2 + 5*p + 11. Suppose 10*c - 48 = 2*c. Let d be f(c). Let t be (-12)/3 - (-4 + d + -4). Which is greater: -14 or t?
t
Let s = -0.118 + 220.118. Let w = s + -263. Let x be (-10)/(-4) + -2 + 0. Is w bigger than x?
False
Suppose 3*c + 5*y = 31, 5*c = y + y. Let v be c + 5/((-30)/216). Which is smaller: v or -30?
v
Let y = -3 - 4. Let d = 45628/3 - 15217. Is y >= d?
True
Let m be (7 + 44)/(((-385)/20)/(-11) - 1). Is 95 not equal to m?
True
Let r = 0.7199 + -0.684. Let a = r + 0.0241. Which is smaller: 0.42 or a?
a
Suppose -16*c = -12*c + 28. Let t be (c + 44/6)/(1/18). Is -8 less than or equal to t?
True
Let z be (-30)/8*(9058/(-651) - -14). Let g be ((-28)/(-21))/(2/3). Let l(h) = h**2 - 3*h + 1. Let q be l(g). Is z at least q?
True
Let f be (-6)/(-18)*(-1 - -34). Suppose 3*r = 2*r + 9. Let b be (r/12)/((-1)/(-12)). Which is smaller: f or b?
b
Let d = -799 + 799. Suppose 47*c - 18*c = d. Does c = -4/213?
False
Let u(k) = -3*k**2 - 80*k + 1680. Let j be u(15). Which is greater: j or -220?
j
Suppose -11*p + 41 = -14. Suppose p*q - 927 = -4*o, 3*o = -3*q + 8*o + 571. Suppose -3*t = 4*u + 190, -3*u = -3*t - 4*u - q. Is t < -63?
False
Let f = 5322392378 - 118875633790951/22335. Let r = f - -2/1489. Is -1/4 bigger than r?
True
Let d be -42*12 - (9 - 7). Is -507 equal to d?
False
Let x = -3121 - -3117. Let z = -11061/515 - -8/103. Let f = -1167/55 - z. Is f <= x?
False
Let l = 29 + -43. Let r be -3*(9/(-6) - 7/l). Suppose -5*i - z + 73 = 0, 27 = 3*i - 2*z - r*z. Is 8 >= i?
False
Let v be (2035/(-440) - (0 - 5))*38904. Which is greater: 14590 or v?
14590
Let x = -0.9 - -1. Let h = 43/2 - 555/26. Let s = h - 15/182. Which is smaller: s or x?
s
Let d(z) = -z**3 + 11*z**2 + 44*z - 380. Let a be d(12). Do a and -115 have the same value?
False
Let b = -283 + 301. Suppose -4*a - 13*g = -b*g - 62, 5*a + 3*g - 59 = 0. Let t = -1/7 - -248/21. Which is bigger: t or a?
a
Suppose 8845*f - 8693*f = -8512. Let i(s) = 8*s**3 + 3*s**2 + 3*s + 3. Let p(o) = o + 3. Let x be p(-5). Let n be i(x). Do n and f have different values?
True
Let o be -1*-524*112/(-28). Which is greater: -5 or o?
-5
Let o be (1707/(-2))/((-12)/(-64)). Let f = o + 40918/9. Suppose -4*u = -3*h + 13, 2*u - 3*h - h = 6. Which is greater: u or f?
f
Let h = 1238 - 28477/23. Which is bigger: h or 0?
0
Let g = -4986 - -633224/127. Suppose 4*i - i = -24. Let z be (i/12)/((-4)/(-6)). Which is smaller: g or z?
z
Let y(o) = o**3 - 50*o**2 + 2*o - 59. Let h be y(50). Let k be (4/10 + (-49)/70)*2. Is h less than or equal to k?
False
Suppose 0 = 11*x - 16*x + 3*j + 240, 3*x - 4*j - 155 = 0. Suppose 0 = -9*d + x*d + 180. Is d equal to 0?
False
Let s = 177709 + -3267179963/18385. Is s greater than 0?
True
Let c(n) = n**2 - 25*n - 138. Let y be c(-5). Let b be (-80)/(-30) - ((-4)/y + 2). Which is greater: b or 0.19?
b
Let l = -1127/12 + 6349/68. Let w = 2/17 - l. Let m = 1.4 - 0.4. Is w equal to m?
False
Suppose 5*t + 2*k - 5174 = k, -5*t = 5*k - 5170. Do 1035 and t have the same value?
True
Suppose 0 = 5*p + 5*s - 445, -5*p + 15*s - 9*s + 522 = 0. Is 98 >= p?
True
Let w be (-18748)/(-14) - (-2408)/(-2107). Which is smaller: 1335 or w?
1335
Let k be (-910)/1120*(1 + -293). Is k at most 236?
False
Let y = -36 - -26. Let x be ((-5)/y)/((-3)/30). Suppose 3*v + 15 = 3*c + 3, 2*v = -5*c - 1. Is x greater than v?
False
Let s = -256 + 256. Let v(o) = o + 16. Let x be v(-11). Suppose -3*m + 24 = -2*m + x*l, m = -3*l + 14. Which is smaller: s or m?
m
Let h = -0.504 + 0.402. Let n = h - -0.432. Are n and 0.1 unequal?
True
Let f(a) = -a - 9. Let o be f(-9). Suppose 0 = -82*r + 505 + 397. Which is smaller: r or o?
o
Let f = -0.4 - -28.4. Let u = 12 - f. Let d = 539 + -544. Is u greater than d?
False
Suppose 4*j - 37 = -17. Suppose -3*z + 392 - 9 = -j*c, z - 122 = -4*c. Let v be 8/40 - z/5. Which is smaller: -26 or v?
-26
Suppose -5*z - 3 + 2 = -2*u, 5*u + 47 = -4*z. Let w be u + 0 + (-4971)/(-711). Is 0 at most w?
False
Let o = -169 + 202. Which is bigger: -5 or o?
o
Let n = -6102 - -6150. Is 894/19 not equal to n?
True
Suppose -7*b - 12*b - 2*b = -6*b. Which is bigger: -5/723 or b?
b
Suppose 28 + 112 = 5*r. Let y = r - -5. Let b be y/(2 - (-3)/3). Is b != 12?
True
Suppose 37*k - 143 = 34*k - x, 3*x - 153 = -3*k. Let w be (-18)/(-27)*(4 - k). Is -22 not equal to w?
True
Suppose 418*w + 57 = 399*w. Is -78 > w?
False
Let f be (6/(-15))/((-11)/((-825)/(-10))). Suppose 0 = -290*a + 293*a + f. Which is bigger: 1/41 or a?
1/41
Let v = 33525 + -33525. Which is smaller: v or 1/9136?
v
Let h(t) = -6*t + 93. Let z be h(15). Suppose k = 5*s + 20, 9 = -z*s - 3. Let r = -2 - -5. Is k at most as big as r?
True
Let a be ((-32)/(-68))/(((-4)/(-5))/((-16)/5560)). Which is bigger: 0 or a?
0
Let z(n) = 4*n + 25. Let w(s) = 5*s + 25. Let d(c) = -3*w(c) + 4*z(c). Let l be d(-16). Let h be 2 + 21/l + -1. Which is bigger: h or 3?
h
Let i = 26474 - 26473. Is i at least 0.447?
True
Let a = -648 + 384. Let o = a + 249. Which is smaller: o or -16?
-16
Let m be ((-199)/(-398))/((-2)/292). Which is greater: m or -1256/17?