4 - -3. Is u smaller than f?
True
Suppose 0 = -3*z + 4*o - 224, 0*z + 5*z = 3*o - 377. Let g = 65 + z. Does g = -10?
False
Let r = -36632470881/956077330 + 2/7354441. Let a = r + 528/13. Is 2 > a?
False
Let b(g) = -2*g**2 + 15*g + 28. Let l be b(9). Let h be ((2/l)/(-210))/(12/18). Which is greater: h or -1?
h
Let i(h) be the second derivative of 3*h**2 + 1/12*h**4 - 19*h - 5/6*h**3 + 0. Let o be i(4). Which is smaller: 8/7 or o?
8/7
Let u be -708 + (6/(-3))/(14/(-56)). Is u less than or equal to -4896/7?
True
Let u be (-1)/2 - (-39720)/80. Let n = -524 + u. Let g be ((-2)/(-1))/((-2)/28). Is g > n?
False
Let z = 1/303 + -629/6969. Let y = 101/39 - 785/273. Is z <= y?
False
Let j(d) = -d**3 + 9*d**2 - 9*d + 7. Let z be j(8). Let a be (-8)/35*(11 - 15670/1420). Which is greater: z or a?
a
Let k = 3.846 + -3.806. Which is bigger: k or -0.123?
k
Let p be 2/(-2)*4/19. Let x be 1*2 - (8 + (-518)/114). Let i = x + p. Which is smaller: i or -2?
-2
Suppose 4*c - 4*r - 100 = 0, 4*c - 3*r + 0*r - 98 = 0. Let t = c - 74. Let u be ((-4)/12 - -1)*t/2. Is u >= -18?
True
Suppose 3*m - 169*q = -168*q + 332, 4*m - 446 = -2*q. Let h = 273 - 159. Is h at most as big as m?
False
Suppose 12*b = b. Suppose b = -6*g + 11 - 53. Which is smaller: 0.2 or g?
g
Let d be (6 + -10)*(6 + -3). Let k(s) = 7*s + 99. Let a be k(d). Which is smaller: 29 or a?
a
Suppose 0 = 2*o - 2*h - 30, -69 = -4*o - 2*h - 3*h. Suppose -2*q + 0*q + 20 = 0. Let b be ((-40)/o)/(1/q). Is b at least -26?
True
Let f be 4/(-6)*284/32. Let q = f + 17/12. Let o = 0.38 - 0.28. Which is greater: q or o?
o
Suppose 3*i = a - 7, 4*a - 4 = 2*i + 4. Let t = 6219227/141 + -44108. Which is bigger: t or a?
a
Suppose 5073 - 495 = -327*l. Is l at least -770/53?
True
Suppose 57*j - 164*j = -41852 + 2583. Which is bigger: 370 or j?
370
Let a be (2/11)/((-2)/34). Suppose -47*l - 11*l = 63*l - 363. Let v = l + a. Which is greater: v or -1?
v
Let b be (0/(-2))/(-38 + 37). Is b > 46/55?
False
Suppose -18*r + y - 906 = -21*r, -3*y + 900 = 3*r. Let j = r - 571. Is j not equal to -267?
True
Suppose 0 = -3*z - 3*m + 301 + 398, -4*z + 5*m = -887. Which is smaller: 235 or z?
z
Let o = 11038.1075 + -11038. Which is greater: o or -1/2?
o
Suppose -3*b + 4*f - 3*f = 5, 5*b + f + 3 = 0. Let k = -20131/165 - -367/3. Let o = k + -8/11. Are b and o nonequal?
True
Let w(r) = r**2 - 21*r + 61. Let h be w(18). Suppose h*x = 4*x - 3. Let c be (19 - 25)*x/(-2). Is -3 > c?
False
Suppose 3*k + 16 = -4*h, -10*k + 6*k - 4*h = 16. Let y(t) = 5*t**3 + t - 1. Let x be y(1). Suppose -x*p + 2*p = k. Is -2 != p?
True
Let r = -13611 + 13616. Which is smaller: 316/49 or r?
r
Let a = -21235 - -21216.2. Is 4 less than or equal to a?
False
Suppose -3*q + 26 = 4*v, -2*v - 13 + 33 = 5*q. Suppose -12*u - 3*z + 67 = -13*u, -v*u = 2*z + 420. Is u smaller than -84?
False
Suppose 0 = y - 6*y. Let o = -49 + -11. Let s be 2/6*16/o. Is y > s?
True
Let w be 4/(-2*(-39)/3). Suppose -7*d + 110 = 47. Let y be (-2)/d - 22*2/(-36). Is w < y?
True
Suppose 90*q + 5*w + 12 = 87*q, -2*q + 5 = -w. Which is smaller: q or -1/217?
-1/217
Let n be -12 + 6*195/120. Let y = 16.9 - 17. Which is greater: y or n?
y
Let h = 9848 - 9842. Let l = 16 - 8. Does h = l?
False
Suppose -2*f + f - 6 = 0. Let g = 10 - 11. Let a be g*8/(-6) + (-40)/12. Is f at least as big as a?
False
Suppose -15*k + 17*k + 2*s - 30 = 0, 2*k = 3*s + 5. Let w be (-1252)/k - (-31)/155. Which is smaller: w or -126?
-126
Suppose 8*i = 68 + 44. Which is bigger: 37 or i?
37
Let x be (-2)/(-10)*-2 - ((-102420)/(-75) + -1). Are -1367 and x nonequal?
True
Suppose 0 = 6*h + 156 - 468. Suppose -h*r - 19 = 137. Is -60/17 < r?
True
Let t be 23 + 1*(-2 - 3). Suppose -55 - 17 = -t*l. Let m = -8 - -13. Is l greater than m?
False
Let z be 9/(-15)*6960/(-144). Suppose -z*f = 2*f. Is -8/55 at most f?
True
Let s be (1485/(-7))/((-1419)/(-66) - 20). Which is greater: -141 or s?
-141
Let c(m) = m**2 - m + 1. Let v be c(1). Let d be (3/(-225))/(315/(-225)). Is v smaller than d?
False
Let b(s) = 15*s**2 + 2*s - 1. Let q be b(1). Let h be -6*(-2)/(-3) - (-68)/q. Let o = -3/50 + -167/550. Is o less than or equal to h?
True
Suppose -2*h = -l + 7, 36*l + 5*h - 14 = 35*l. Let i = 314 + -332. Which is smaller: l or i?
i
Let b = -15 - -7. Let q(n) = 525 - 9*n**2 - 4*n - 5*n - n**3 - 507. Let f be q(b). Is f greater than or equal to 25?
True
Let x = 1673 - 1674.374. Let j = x + -0.226. Which is greater: j or 10?
10
Let i = -3970 + 3946.045. Let s = -0.045 + i. Let t = s - -22. Is -2 greater than or equal to t?
True
Let x = -45 - -69. Let q = -161 - -4024/25. Let o = 22/75 - q. Is x not equal to o?
True
Let g be (-11)/9 + (-4)/(-18). Let c = 60961/10 + -6993. Let w = c + 896. Which is smaller: w or g?
g
Suppose -2*i + 0*i - 124 = 0. Let n be (-12)/(-21) - 145605/(-2380). Let s = n + i. Which is smaller: -1 or s?
-1
Suppose 5*u - 2*a + 8 = 29, 0 = 3*u + 2*a - 3. Suppose 0 = u*y + y + 4. Let b be (-11 - 91/(-8))*2/(-3). Which is smaller: y or b?
y
Suppose -156 + 12 = -9*j. Suppose 324*o + j = 320*o. Let z be ((-3)/2)/(9/12). Which is smaller: z or o?
o
Let c(s) be the second derivative of s**4/12 - 11*s**3/2 + 9*s**2 - 105*s. Let v be c(8). Do v and -181 have the same value?
False
Let a = 7864 - 7881. Let n(g) = g**2 - 6*g + 2. Let o be n(4). Let q be ((-68)/o)/(4/(-6)). Are q and a equal?
True
Let j(r) = 13*r + 5. Let c be j(10). Suppose -16*a - 7 = -c. Which is smaller: a or -3/2?
-3/2
Let f(c) = 53*c**3 + 10*c**2 - 36*c + 46. Let z be f(4). Is 3454 less than z?
False
Suppose k - 28335 = -5*v, v + 6*k - 5691 = k. Is v < 5667?
True
Let y be (-21)/2*550/33. Let b be (4 + (-228)/30 + 3)*y. Is 107 < b?
False
Let w = -1/20289 - -40583/101445. Which is greater: 3994 or w?
3994
Suppose 5*r + 95 = 5*k, 3*k + 0*r = 4*r + 62. Let g(d) = 28*d + 79 + 3 + 18*d - 49*d. Let x be g(23). Which is bigger: x or k?
k
Suppose 42*m + 545226 = -59*m - 20*m. Which is smaller: -4509 or m?
-4509
Let p = 422 + -421.91. Let m = -11.09 + p. Let n = -3.4 + 0.4. Which is smaller: n or m?
m
Let q = 6828 - 6828. Does q = 241/5?
False
Let j = 94394 - 93787.87. Let y = j + -606. Is y greater than or equal to 3?
False
Let s(z) = 4*z + 35. Let d be -4*(31/12 + 1/(-3)). Let l be s(d). Let f be (1*l)/(6/66). Is -48/5 bigger than f?
True
Suppose 2*y = -3*r + r - 35224, -5*r - 2*y - 88057 = 0. Let g be r/(-165) - 1/3. Let k = -107 + g. Which is bigger: k or -3?
k
Let v be (1 - -3)/(-20) - 6783/35. Let n = v + 185. Which is greater: n or -84/11?
-84/11
Suppose 2*y = -5*v - 25, 0 = 11*y - 12*y. Let r be 129/12*4 + v. Which is bigger: r or 37?
r
Suppose -172 = -4*n + 136. Suppose -3*y - n - 406 = 0. Which is smaller: -160 or y?
y
Suppose -m = 3*r - 275, -r + 4*r = 30. Suppose -q + 106 = -138. Is m at least as big as q?
True
Let h = -3 + 3.01. Suppose 32*l - 24*l = -40. Let r be 2/l + (207/30 - 4). Is h equal to r?
False
Suppose 3*h + o = 1270, -5*h + 3*o = -1869 - 243. Let p = -423 + h. Which is bigger: -523 or p?
p
Let b = 2421 - 2479. Are -172/3 and b equal?
False
Let d(m) = -3929*m + 15732. Let n be d(4). Let w = -21 - -35. Which is smaller: w or n?
w
Suppose -4*b = 4*n - 4, -2*n = -b - 3 + 1. Let z(o) = -20*o**2 + 14*o - 1. Let a be z(n). Which is bigger: a or 1?
1
Suppose 12*k - 26 + 697 + 13 = 0. Are 78 and k equal?
False
Let y = -342 - -371.3. Let m = 29.1 - y. Is 1/6 <= m?
False
Let n be 2/(-7) - 4192/(-14868). Let h = 1100/10089 + n. Let m = 580 + -579.1. Which is smaller: m or h?
h
Let d be (2 + -3)*1 + -1 + 4. Suppose d*g = 13*g + 44. Suppose 0*z = -2*z - 8. Are g and z equal?
True
Let j(c) = c**2 - 52*c + 315. Let v be j(21). Is v equal to -337?
False
Let x = -60 + 60.046. Let j = -0.094 - x. Let g = j - -0.14. Which is smaller: g or 1?
g
Let s = -1748 + 377. Is s equal to -1369?
False
Let r be ((-10680)/(-5073) - (-4)/(-38)) + 340/2. Is 1878/11 >= r?
False
Let y = -720 - -720. Suppose -t - c - 52 = 0, t + 3*c + y*c + 46 = 0. Which is smaller: t or -49?
t
Suppose 6*l + 12*l + 108 = 0. Let m be (-4 - l)/1*-108. Which is bigger: m or -215?
-215
Let k(d) = 3*d**2 + 27*d + 16. Let b(v) = -v**2 - 9*v - 5. Let j(w) = -8*b(w) - 3*k(w). Let h be j(-8). Suppose u + 2 - 3 = h. Which is greater: -4/45 or u?
u
Let d = 0.19764 + -9875.19764. Which is smaller: 0.1 or d?
d
Let s be 78