r k?
k
Suppose 34 = 4*o + 6. Suppose -o*m - 7*m = 490. Is -4 bigger than m?
True
Suppose 15*w = -340 - 590. Let a be 1*((-537)/9 - 2). Let q = a - w. Which is bigger: 0 or q?
q
Let j be 15849/(-9828) - 45/(-35) - (1 + 2). Is -4 at least j?
False
Let u = -64.09 + 72.5. Let i = 7.8 - u. Let h(b) = -108*b - 7559. Let g be h(-70). Is g equal to i?
False
Let u be (3 - (-6 + 10/2)) + 4. Suppose 4*d = u*d - 4. Which is smaller: d or -3/68?
-3/68
Let y = 202715/9 - 22495. Let l = -655/18 + y. Let o = l + 8. Which is bigger: o or -0.44?
o
Let f be -3 + 3 + 2 + -5. Let k(l) = -l**3 - l**2 + 4*l - 5. Let s be k(f). Which is smaller: s or -1?
-1
Suppose 21*x - 18*x = 75. Suppose 30*o = x*o + 25. Suppose -b + 2*a + 15 = 0, -5*b + o*a + 27 = -48. Is b smaller than 13?
False
Suppose -k - 6 = -0. Suppose 0 = -3*h + 10*h + 35. Let n be ((-10)/k)/(h/(-60)). Is n equal to 21?
False
Suppose -14*s + 30 = -8*s. Suppose -5*l - s*g - 140 = 0, 0*g = 3*l - 5*g + 52. Which is greater: l or -3?
-3
Let v = -29/113 + 313/339. Is v >= -3890?
True
Let v be 2/((-21)/(-6) - 4)*10. Let y be (-1850)/464 + (v - -44). Is y bigger than 1?
False
Suppose 4*k + 489 = -1563. Let w = 834 + k. Does 322 = w?
False
Let t = 10928 + -10759. Which is smaller: t or -0.21?
-0.21
Let d = -49/36 - -7/12. Let h be (118 - 113)/(1 - (1 - 1)). Suppose 6*v - 5*r + 19 = 2*v, -2*v + 13 = h*r. Which is smaller: d or v?
v
Suppose 1 + 50 = i. Let x(h) = 31*h**2 - 152*h - 10. Let f be x(5). Suppose i = f*j - 9. Which is bigger: 6 or j?
j
Let s = 49227 - 3347345/68. Let k = -12655/17 + 745. Let n = k - s. Which is greater: 0.06 or n?
0.06
Let j = 50 + -47. Let n be (-12)/21 - -3 - (-9)/(-21). Suppose -3*p + j = 0, -a - p = n*a - 82. Which is greater: a or 25?
a
Suppose 349*i + 320 = -1072 + 7325. Is i <= 1?
False
Let k be (-70)/(-42) - (1 - 4/3). Suppose -k*l = 5*c - 4, 4*c + 2*l - 3 - 1 = 0. Suppose -4*x + 20 = 0, -5*w + 0*x + x - 105 = c. Which is greater: -19 or w?
-19
Suppose 0 = -5*o + 16*o - 44. Let a(w) = 4*w**2 - 12*w + 3. Let l be a(o). Are l and 12 equal?
False
Let d = -1196097/974 - -1228. Which is smaller: 0 or d?
d
Suppose n = 3*j + 2481, 3*j + 14*n + 2472 = 18*n. Let r = j + 5813/7. Which is bigger: r or 0.6?
r
Let z = 330 + -303. Let y be (-8)/14 + (-384)/14. Let h = z + y. Which is greater: h or 1/65?
1/65
Let w = -75 + 54. Let m(s) = -5*s**3 - 2*s**2 + 12*s + 21. Let y be m(-5). Let x = -2678/5 + y. Is w not equal to x?
True
Let k = -8855 + 8953. Suppose -4*v + 3 = -3*v. Suppose 120 = -5*u + 5*r, -u + 5*u - v*r + k = 0. Are -25 and u nonequal?
True
Let u = 2429.7 - 2434.7. Let l = 10 - 9.3. Which is smaller: u or l?
u
Suppose 11*l = 10*l - 2*c + 5504, l + c = 5501. Is l less than 5499?
True
Let y be 67/(603/180) - 109. Is -162 not equal to y?
True
Let n = -4 - -9. Let o = -25 + 30. Suppose -5*z = o*t, -n*z - 3 + 4 = 4*t. Which is smaller: 2/43 or t?
t
Let s be ((-4)/3066)/(2886/(-1554)). Which is smaller: s or -1?
-1
Let c(v) = -3*v**3 + 2*v**2 + 2*v - 18. Let n be c(0). Let a be 1026/(-176) + n/33. Which is greater: a or -5?
-5
Suppose -115*b - 206*b + 20349 = -9825. Suppose -3*o = -4*f + 307 + 80, 4*f + 2*o - 362 = 0. Is b at most f?
False
Let l = 4019.172 - 4020. Is -1 < l?
True
Let z be (-15)/(-6) - (-15)/10. Let v be (-590)/z*12/(-15). Let w be v/(-598) + (-22)/(-143). Do 0 and w have the same value?
False
Let u be (3/99)/(7 + 22065/(-3060)). Is u >= 0?
False
Let f be (-13)/390*-78*1655. Is 4303 at least f?
True
Suppose -2 + 0 = h. Let o = 99 + -81. Let c be (o/(-12))/(4/8). Which is smaller: c or h?
c
Let h = 36 + -36. Let w be 3 + (h - 284/6). Let x = 44 + w. Are x and 0.1 non-equal?
True
Let u = 13065 - 13060. Which is bigger: u or -549?
u
Let o be (-620)/(-20)*(1 - 7). Let f = o + 175. Suppose 5*m = -x - 0*x - 44, 1 = x. Which is smaller: m or f?
f
Let h(d) = 6*d**2 + 125*d + 100. Let q be h(-20). Is -1/1021 at least q?
False
Suppose -4*k + 14 = -j, 3*j - 3*k + 17 = 2. Suppose m = -5*g + 5 - 13, 3*m - 14 = 4*g. Let p be (g/(-64))/(j - 11/(-4)). Is -1 less than p?
True
Let t = 1542206/10295 + -3/2059. Which is bigger: 3 or t?
t
Let x be 18/(-120) + -1 + 1. Let o(c) be the first derivative of c**3/3 - c**2/2 + c + 13. Let l be o(1). Is l != x?
True
Suppose -4*m - 398 + 438 = 0. Let f = -46 - -46. Suppose f = -7*w + 2*w + 35. Which is smaller: w or m?
w
Let k(u) = u**2 - 12*u - 289. Let d be k(24). Is -36/41 < d?
False
Let z = 92.75 - 67. Let y = 0.75 - z. Which is smaller: -4 or y?
y
Let f = 1.4111 - -0.5889. Which is smaller: 0.01979 or f?
0.01979
Suppose 35*l + 18391 = 382*l. Let d = 92 - 35. Is d less than l?
False
Let i be 68/(-16) + (-2)/(-8). Let w be 6/(-4) - i/8. Let m = 197 + -199. Which is smaller: w or m?
m
Let y(h) = h**3 + 6*h**2 + 6*h - 3. Let u be y(-4). Let o(c) = c + 5. Let i be o(u). Suppose i + 250 = -5*t. Are t and -53 equal?
False
Suppose -4*a - m + 104 = 0, -5*a + 86 + 44 = m. Let y = 18 - 16. Suppose -5*k + 106 = -k - y*b, 0 = 4*b + 12. Which is smaller: a or k?
k
Let v be ((-8)/12 + 0 + 1)*0. Suppose 5*r + 2*q + 520 = v, 220 = -3*r - 2*q - 96. Let x = 107 + r. Which is bigger: 4 or x?
x
Let l(c) = c**2 + 9*c - 59. Let a be l(-14). Suppose -6*j = -a + 5. Let m be (j/(-4) - -2)*(-60)/(-2870). Are -1 and m non-equal?
True
Suppose 4*p + 390*c + 3266 = 385*c, -5*c + 2467 = -3*p. Which is smaller: -815 or p?
p
Suppose -196*h + 226*h = -279870. Is -9331 < h?
True
Let i(g) = -g**3 + g**2 + g - 1. Let a(f) = -2*f**3 - 4*f**2 + 4*f + 4. Let v(t) = a(t) - 3*i(t). Let j be (-2 + 4)*(-14)/(-4). Let m be v(j). Is 14 >= m?
True
Let i = -5153 - -5153.2. Which is greater: 787 or i?
787
Suppose 756 = -6*h + 750. Let i = 143725/101 + -1423. Is h greater than or equal to i?
False
Let d = 147 - 483. Let w = -300 - d. Which is smaller: -0.1 or w?
-0.1
Let f = 5 - 343. Let k = f - -352. Is 11 < k?
True
Let c = -451909/5 + 90750. Which is smaller: 369 or c?
c
Let q = -16 - -4. Let u be (q/(-8))/(3/(-4)). Suppose -o + n - 11 = 0, 2*o - 84*n = -79*n - 37. Does u = o?
False
Suppose 0*t + 5*p = -3*t + 6, 0 = 3*t + 3*p. Let s(y) = y**2 - 2*y. Let n be s(t). Let m(q) = -1126*q + 10148. Let i be m(9). Which is smaller: n or i?
i
Let u be (-63)/(-27) - (-63)/(-54)*2. Is u at least as big as -52/419?
True
Let z be (-1)/((-938)/6560) - 140/20. Let g(c) = -c**2 - 20*c. Let d be g(-20). Which is smaller: z or d?
z
Let u be (-232)/(-693)*4/(-16)*-6. Let l = u + 36/77. Which is smaller: 1 or l?
l
Let m = 200 + -195. Suppose 2*a - 5*n = -25, 2*a - m*n + 25 = 6*a. Is -3/37 bigger than a?
False
Let o be 13/60 - (-2)/6. Let c = 7342 + -7343. Is c at most o?
True
Let t = 4.87 - -0.13. Let y = 925.99 + -931. Let x = t + y. Is x < -0.1?
False
Suppose 44*b - 1183 = -47*b. Let x(t) = 2*t**2 + 11*t - 20. Let s(w) = -w**2 - 12*w + 19. Let n(i) = 3*s(i) + 2*x(i). Let a be n(b). Is 27/8 < a?
True
Let o = 3157586/155 + -101796/5. Which is greater: 11 or o?
o
Let z(a) = a + 13. Let w be z(-9). Suppose -w*j + 12 + 28 = 0. Let i be (-30)/4*12*12/(-108). Is i greater than j?
False
Let x = 10427 + -10372.8. Is -3 greater than x?
False
Suppose 4*d + 800 - 220 = -3*i, 3*i - 272 = 2*d. Suppose 162*p + 2100 = 147*p. Which is bigger: d or p?
p
Let h be 3/(-18) + 2/12. Let l = 92223112 - 1193274846907/12939. Let y = 5/227 + l. Which is bigger: y or h?
h
Let t = 8653.9701 + -8651. Let g = 0.0299 + t. Which is smaller: 2/13 or g?
2/13
Let x be ((3 - -4) + -14 - 54)/(1/(-5)). Which is smaller: x or 301?
301
Let f be 6549/(-78) - (-3)/6. Is f bigger than -84?
True
Let m = -34/427 + -351172/19215. Let x = -82/15 - m. Let k = 634/45 - x. Which is bigger: 2 or k?
2
Let o = -3 + -5. Let k(p) = 161*p + 4978. Let v be k(-31). Is v greater than or equal to o?
False
Suppose -94*x = -152*x - 6670. Let k be 24/(-32) - (-21)/(-4). Let y(u) = -3*u**2 + u. Let t be y(k). Which is greater: x or t?
t
Suppose -39*f - 38386 = 189*f + 150398. Is f less than -1653/2?
True
Let k = 140853 - 988472/7. Let t = -357 - k. Let o = 124.27 + -0.27. Which is smaller: t or o?
t
Let a(n) = -n**3 - 2*n**2 + 7*n - 6. Let q be a(-4). Let u = 14 - -1. Let v be (-1)/u + 21/(-35). Which is smaller: v or q?
q
Suppose -18*c = -2*p + 334, p + 99 = 324*c - 329*c. Let k be (-3)/12 + 58/104. Which is greater: k or c?
k
Suppose -6518 = -339*m + 80*m + 16792. Is 84 