 - 0 - 1/(-4))*-4. Let j(g) = -4*g + 2. Let k be j(d). Let s be (-7)/(-4)*2*4/k. Is -3 at least as big as s?
False
Let z(u) = -u**3 + 2*u**2 + 147*u - 5. Let h be z(-9). Is -412 greater than or equal to h?
True
Let x = -47.49 + -0.51. Let m = x - -8. Which is smaller: 4 or m?
m
Suppose 5*t = -2*f - 375, -t - 63 = -12*f + 10*f. Let a be t/(-37) - (-2 - (-4 - 0)). Is -3 equal to a?
False
Suppose -200*s + 39 = -3*l - 195*s, s + 65 = -5*l. Is l less than 38?
True
Let s(r) = -r**3 + 68*r**2 - 788*r + 29. Let z be s(53). Which is smaller: z or 387?
387
Suppose -44*k + 84*k + 174336 = -88*k. Which is smaller: -1360 or k?
k
Suppose -12 = -3*k - 2*l, 5*k + 119*l - 30 = 114*l. Which is smaller: k or -2/22049?
-2/22049
Let t = 70 + -169. Let k = -38 - t. Is k at least as big as 63?
False
Let v(c) = -c**3 + 5*c**2 + 1. Let z be v(5). Which is smaller: -4/3339 or z?
-4/3339
Suppose -49*i + 52*i - 4*d = -64, 24 = -i + 4*d. Suppose 0 = 2*g - 3*g - 18. Is i != g?
True
Let l be 504/(-48)*(1/(-3) + 1). Let b be (-3)/(1 + (-2)/(-4)). Let c be (-7)/b - l/(-28). Which is bigger: c or -1?
c
Let c = -60 - -20. Let d = 43 + c. Suppose 4*w - 7 = -d. Do 9/4 and w have different values?
True
Suppose a - 3 = 3*g + 9, 0 = -2*a + 6. Suppose 19474 = -4297*p + 4115*p. Is g at least p?
True
Let u(n) = -n**3 - 8*n**2 + 17*n - 59. Let o be u(-10). Let p = 213 + -45. Suppose 5*h = -h - p. Is o less than h?
True
Let b = -864 + 2593/3. Which is smaller: -225 or b?
-225
Suppose 9540 = -4*s + 3*w, -98*s + 93*s + 4*w = 11924. Which is greater: s or -2389?
s
Let p(w) = -13*w + 26. Let o be p(-8). Suppose -3*l - 423 = -3*c, 5*l - 5 = c - o. Let t = -4639/32 + c. Which is greater: -1 or t?
t
Suppose 0 = -3641*d + 3476*d. Let r = 2355 - 73023/31. Which is smaller: d or r?
r
Let k(z) = z**2 - 6*z - 1. Let h be k(8). Suppose h - 3 = -4*f. Let d be f/9*3 + 2. Is -2/81 at most d?
True
Let n(a) = a**2 - a - 1484. Let y be n(39). Let r be (-1)/(-2)*0/(-2). Are r and y nonequal?
True
Let s = -193 - -203.6. Let i = s + -10.45. Which is smaller: i or 1/4?
i
Suppose 1141*w = 864*w - 277. Let d = 1 + 0. Is w less than or equal to d?
True
Let u be (-108)/(-120)*(-60)/36. Which is bigger: -35/2 or u?
u
Let b = 87.956 + 0.044. Let i = -101 + b. Let p = i + 11. Is p smaller than -10?
False
Let h(w) = w**2 + 4*w - 40. Let k be h(6). Let j be 5/k*8 - 16. Do j and 11 have different values?
True
Let p(x) = -18*x - 61. Let z be p(-17). Let b = z - 244. Which is smaller: b or 56?
b
Suppose -47*x - 21 = -68*x. Which is bigger: x or 6/71?
x
Let x(r) be the second derivative of 5/2*r**2 + 6*r - 1/6*r**3 + 0. Let y be x(5). Is -4/7 equal to y?
False
Let u = 10 - -13.1. Let d = -0.1 + u. Let o = 25 - d. Which is smaller: 7/6 or o?
7/6
Let a = -0.2675 - -0.2675. Let k = -96.154 - -96. Which is smaller: a or k?
k
Let d(h) = -h**2 - 16*h - 14. Let q be d(-16). Let c be ((-4)/6)/(-1 - 41/(-39)). Is q > c?
False
Let w = -129 - -137. Suppose -f = -39 + w. Do f and 290/9 have the same value?
False
Let d = -11 + 11. Suppose d = 2*z - 11 + 3. Suppose 7*w + z = 5*w. Which is bigger: -7 or w?
w
Let x = 137 + -164. Let h be 6/x + 8/(-6). Which is bigger: -3 or h?
h
Let s(i) = -i**2 - 6*i + 33. Let u be s(-9). Let z be -234 + u - (15/(-5) + 2). Is z at least as big as -227?
True
Suppose -77 = 4*n + 147. Suppose 4299 + 9926 = -354*p - 5245. Which is greater: p or n?
p
Suppose 45*p + 5*r - 320 = 40*p, -3*r + 332 = 5*p. Let v be ((-14)/4)/(1/18). Let t = v + p. Do 0 and t have the same value?
False
Let c be 200 + -4 - (-2 + 1 + 0). Suppose 2*z - c = -23. Suppose z*f = 88*f + 37. Is -38 not equal to f?
True
Let q be (8*20/(-8))/((-4)/4162). Let r be ((-772)/(-18))/(q/(-755)). Let t = r + 1/2081. Is 2 greater than or equal to t?
True
Let b = -104.857 - 16.153. Let u = 121 + b. Which is bigger: u or 3/7?
3/7
Suppose 135119*v = 135093*v + 67912. Is 5221/2 <= v?
True
Let q = -1353 + 1281. Are -71 and q nonequal?
True
Let w = -319 - -319. Suppose -j - 3*x - 2 = w, -4*j - 11 - 13 = -4*x. Which is smaller: j or -6?
-6
Let f = -26845 + 27230. Which is bigger: f or 41?
f
Let k be 3/(-3) + -5 + 6 + 33/19. Which is bigger: k or 2?
2
Let v(b) be the second derivative of b**5/20 + b**4/4 + b**3/6 + b**2/2 - 3*b. Let f be v(-2). Suppose 0 = 33*t + 32 - 98. Which is smaller: f or t?
t
Let k(n) = -n**3 + 3*n**2 + 19*n + 18. Let p be k(-2). Which is greater: -2/16241 or p?
p
Let n be (-482)/4 + 12/(-8). Let b be n/(-6) + 6/9. Let q = 2650 - 2629. Is q smaller than b?
False
Let p be 22/(-21) + 2/6. Let m be 8/3*9/6. Suppose -4*r - 4 = m. Is r greater than or equal to p?
False
Suppose 17*h + 8806 = -8*h + 8*h. Which is bigger: h or -516?
-516
Suppose -7*p = -9*p + 6. Suppose -2 = -2*c - 2*t, -3*t + p = -c - 2*c. Let o be (3 + -4)/(2*12/32). Is o > c?
False
Suppose -20 = -15*g + 10*g. Suppose g*m + 3*l - 87 = 0, -l = 3*m - 96 + 27. Let d be (-28)/m + -2 - (-3)/18. Is d <= -12/7?
True
Let s = 14.9 - 15. Let f = -2528 + 2618. Which is smaller: s or f?
s
Let d = 3044 + -9506414/3123. Which is bigger: d or -2?
d
Let i = 23.57 + 0.43. Let h = 21993 + -21994. Which is greater: h or i?
i
Let m = 194/123 - -40675/492. Which is bigger: 9 or m?
m
Let y = 2855 + -2854.8. Is y > 12?
False
Let l be -11 - (-4 + 3) - 2. Let d = 15 + l. Suppose -3*m + 9 = d*k, -m + 5*k - 2 - 1 = 0. Which is greater: m or 4/7?
m
Let a be -2253 + (7 - (-3)/((-27)/18)). Are -2250 and a nonequal?
True
Suppose -23*c + 13*c = 21*c + 8*c. Which is smaller: 9/34 or c?
c
Let n = 17651 - 17517.8. Is n smaller than 0?
False
Suppose 3*o - 244 = -4*m, 0 = -9*o + 6*o - m + 241. Is o greater than 1257/16?
True
Let l be (-7 - (-16 - -4)) + 4567/(-913). Suppose 0 = -48*f + 16*f + 32. Are f and l nonequal?
True
Let o = -106.7 - -105.7. Which is smaller: o or -2057?
-2057
Let x be (-40)/60 + (-2)/(-3). Suppose 6*z = 2*z + 8. Let g be (6/(-135))/(z/(-6)). Which is greater: x or g?
g
Let h be (2 - (4 + -1))*1. Let m be (-2)/4*(-3)/102*384/(-64). Which is greater: m or h?
m
Let a = 64 - 76.61. Which is smaller: a or -1?
a
Let n be 4/22 + (-57)/132. Suppose -45 = -5*o + 5*t, -3*o + t = -5 - 24. Let b be (-76)/95*o/28. Is n greater than or equal to b?
True
Let q = -14.89 - -15. Suppose -649*w - 24 = -625*w. Is q less than w?
False
Let r = -109091/6 + 18197. Is -3.4 <= r?
True
Let k(w) = 39*w**2 + w + 66. Let n be k(-5). Let c be n/840 + -2*6/(-8). Is c less than 2?
False
Let b(k) be the second derivative of -k**4/12 + 19*k**3/6 + 43*k**2/2 - 12*k. Let o be b(21). Which is smaller: o or -3/133?
-3/133
Suppose 0 = -t + i + 31, -3*t = -0*t - 5*i - 103. Suppose -t*g + 980 = 2*g. Are 37 and g non-equal?
True
Let d be ((-177)/354)/(((-10)/(-16))/(-5)). Let u = 5 - 2. Does u = d?
False
Let o = 7179 - 7176. Let g(y) = y**3 - y**2 - 2*y + 2. Let x be g(2). Suppose x*d = -o*d - 30. Which is smaller: d or -1?
d
Let y = -28 - -77. Suppose 304 - 3076 = -44*d. Let t be 42 - (-12)/7*d/18. Which is bigger: t or y?
y
Let q = 355 + -298. Let k = 2 - q. Which is bigger: -54 or k?
-54
Let x = -121 - -383/3. Let g(k) = -8*k**2 - 4*k + k**3 + 0*k**3 + 1 - 3*k - 13. Let z be g(9). Is z bigger than x?
False
Let s = -9133 + 72641/8. Let x = s - -53. Which is bigger: x or -2/37?
x
Let z = -465 + 456. Suppose 5*i + 55 = 185. Let m be i/117 - 3/(z/(-2)). Is -2/5 at least m?
True
Suppose 1045*x = 984*x - 698755. Which is greater: -11454 or x?
-11454
Let k be -14 - ((-55)/(-22) - 13). Is -1/465 less than or equal to k?
False
Let w = 149952/5833 - 489/19. Is -0.1 less than w?
True
Suppose 30118 + 24620 = -18*u. Is -3040 equal to u?
False
Let b be 12/(-8)*(3438/(-81))/((-1)/6). Is b at least as big as -381?
False
Let z be (-5326)/((-1160)/7975 + (-12)/(-22)). Which is bigger: z or -13316?
z
Let b = 2403/1330 + -66/35. Let m(t) = 3*t**3 - 23*t**2 - 7*t + 2. Let v be m(8). Suppose -w = -9 + v. Is w greater than b?
False
Let u = -636.1 + 635. Which is smaller: 230 or u?
u
Let u = 18465 - 18466. Let s = -1.5 + 2. Let y = 19.5 + s. Which is bigger: y or u?
y
Let w = 5244 + -5199. Is 58 bigger than w?
True
Let s(j) = 3*j + 48. Let q be s(-14). Suppose 16 + 158 = q*a. Let w = -41 + a. Which is smaller: -13 or w?
-13
Let y = -1083 + 1096. Let x be (3 - -5)*(-1)/(-2). Suppose 5*c - 2*k - 57 = 0, 21 = 3*c - x*k - 16. Is c less than y?
True
L