 is greater: g or 3/5?
3/5
Let y = -8.3631 - 0.0369. Let a = 8.6 + y. Is 0.7 greater than or equal to a?
True
Let o = 297 - 273. Suppose 22*f + 52 = o*f. Do 22 and f have the same value?
False
Let z be (-5)/((-240)/(-606)) + -1. Let n = -75/8 - z. Is 3 != n?
True
Let n = -9 - -3. Let z be (-7)/(105/10)*27/n. Let i = 2487/1463 + 3/209. Which is bigger: i or z?
z
Let v be 39/(-35) - (-2 + 1). Let b = -117606 - -117606. Which is greater: b or v?
b
Let x(g) = g**2 - 15*g - 16. Let r be x(15). Let u be (-98)/(-580) + r/160. Which is smaller: -3/8 or u?
-3/8
Suppose -3*b + 6285 = 2*p + 479, -5809 = -3*b + p. Which is smaller: 1935 or b?
1935
Suppose -b = 3*u + 1566, -1698 = b - 2*u - 152. Which is greater: -1 or b?
-1
Suppose 423*c = -157 + 580. Which is smaller: 88/171 or c?
88/171
Let b(o) = o**2 - 5. Let q be b(-5). Let m be 480/700 + 2/(-7). Is m at most as big as q?
True
Let w(g) = -8*g - 17. Let y be w(-4). Suppose 0 = 2*i + 5*c - 10, 0 = -4*i + i - c + y. Suppose 20 = v - i*f, 5*v + f + 35 = -f. Is -3 less than or equal to v?
False
Let x be -3*(1 + (-846)/27 + -3). Which is smaller: 4 or x?
4
Let p = -22 + -78. Let a = p - -64. Are -37 and a nonequal?
True
Let b(c) = c**2 - 5*c - 3. Let i be b(3). Let a = -56 - i. Let d = a - -48. Is d bigger than 6/13?
True
Suppose -3*v - 2*k = 567, -2*k - 3*k = 30. Which is bigger: v or -196?
v
Suppose -303776 = -1583*p + 720*p. Suppose -69 = -2*c + 635. Is c greater than p?
False
Let c = -4076 + 4191. Which is greater: c or 1?
c
Let k be 23/(-161) + (-128)/(-14). Suppose -2*g + k*g - 28 = 0. Which is greater: 0.06 or g?
g
Let d be ((-4)/(-3))/(1341/(-270) - -5). Let z = d - 40. Is z at least -8/37?
True
Let o = -270534535 - -33275967730/123. Suppose -3708*i + 3576 = -3706*i. Let q = i - o. Is q at least 1?
False
Suppose 5*a = 3*w + 23, -2*w = -23*a + 21*a + 10. Suppose 0 = -g - g - 532. Let h be 4/(-14) + (-34)/g. Is h at most as big as w?
False
Suppose 39 = -4*a - 685. Is -188 < a?
True
Let s(h) = h**3 + h - 12. Let k be s(3). Is k greater than or equal to 888/49?
False
Let n = -5018/7 - -96189/133. Let o = 3225/38 - n. Let v = o - 79. Which is smaller: -2 or v?
-2
Let l(p) = p + 21. Let s be l(-17). Suppose 4*h + 116 = 4*k, 3*h + 58 = 2*k - s. Let z = 3 - k. Is z != -23?
True
Let v(a) = -a**2 - 19*a - 46. Let q be v(-16). Suppose -53*u + 55*u + q = 0. Is u at least -2/65?
False
Let a be (28/3)/((-12563345)/5385). Let g = a + 2/4463. Which is smaller: 1 or g?
g
Let n be ((-1 + 3)/222)/(668 + -666). Which is smaller: 1 or n?
n
Suppose -1365 = 3*y + y - f, -f = 2*y + 687. Let o(v) = 1188*v - 5094. Let k be o(4). Does k = y?
True
Let a be ((-2184)/(-5664) + (-3 - (-11)/4))/2. Which is greater: a or 0.1?
0.1
Suppose -27*x + c + 41 = -22*x, 3*x - 25 = c. Let o be ((-28)/x)/((-18)/(-208)). Which is greater: -41 or o?
o
Let c = 2552 + -119951/47. Let y = 29239 - 29238. Which is smaller: y or c?
c
Let c(i) be the first derivative of i**4/2 - 38*i**3/3 - i**2/2 + 20*i - 90. Let h be c(19). Do -3/47 and h have different values?
True
Suppose 22*b + 7*b - 29 = 0. Which is greater: b or 5/57?
b
Let g be (1/3)/((-415760)/(-31980) - 13). Is 530 > g?
False
Let h = 2602.3 - 2414.4. Which is bigger: 1/2 or h?
h
Suppose 0 = 5*r - v - 170, 0*r - v = 3*r - 110. Suppose 2*i - r - 13 = 0. Suppose i*y - 29*y = -110. Is y != 22?
False
Let q be 1/2*(-2)/4. Let p = 537 + -764. Let r = -229 - p. Is q bigger than r?
True
Let k = -638.3561 - -803.38. Let g = 0.0239 - k. Which is smaller: g or -2/3?
g
Let m = -4.05 + 4. Let j = m + -0.95. Let w = 24.2 + -24.75. Is w > j?
True
Let j(a) = a**2 + 8*a - 16. Let w be j(-10). Suppose 3*z = s - 41, -34 = 2*z - w*s + 5*s. Let y be (4/6)/(65/z). Which is bigger: 0.2 or y?
0.2
Let n be (5/14)/(3/(-12)). Suppose m = -4*u - 10, 16*m - 11*m - 5*u = 0. Let o(s) = 17*s**2 + 32*s - 6. Let v be o(m). Which is greater: v or n?
n
Let k = -152/167 + -234/8183. Is k not equal to 0?
True
Let x = -17 - -5. Let t(o) = 88 + 147 - 34*o + 39 + 21. Let g be t(9). Which is bigger: x or g?
g
Suppose z - 3*i = -4987, 30*z + 25*i + 20133 = 26*z. Which is smaller: -5001 or z?
z
Let x be (3/(-15))/((-4)/23932). Let b = x + -1185. Let s = b - 10. Which is bigger: 3 or s?
3
Suppose -38*k + 41*k = 7*l + 17, -4*l + 138 = 5*k. Is k equal to 445?
False
Let n = -21637/3315 + -8/3315. Is -8 > n?
False
Let o be -23*(-1 + 2)*1. Let r(g) = g - 21. Let v be r(25). Suppose 3*b + 3*a + 9 = 0, v*a - 3 + 14 = -3*b. Is b greater than o?
True
Let j = -858 - -1460. Which is greater: 600 or j?
j
Let v be 22 - (4 + -5 + -1). Let p(h) = -h**3 + 24*h**2 + h - 14. Let m be p(v). Are 20 and m nonequal?
True
Suppose 15*j + 1774 = -1616. Let w = j - -210. Which is bigger: w or -22?
w
Let a = -139553 - -7675914/55. Let n = a - 39/5. Which is bigger: 1 or n?
n
Let y(s) = s**3 + 14*s**2 + 22*s - 18. Let u be y(-12). Let h(x) = -18*x + 110. Let t be h(u). Is 0.77 at least t?
False
Suppose -2*v + 0*v - 4*x = 2, 0 = v - 3*x - 14. Suppose 16 = -2*f + k - 3*k, v*f = -k - 28. Let q be 163/(-36) + 492/(-2214). Is q bigger than f?
True
Let f = 2965/77 - 267/7. Let b = 1122 + -146. Let g = 975 - b. Does g = f?
False
Let m be 0/(-3) + (0 - -68). Suppose -281 = -4*z - l, -4*z + 17*l = 14*l - 261. Let n = m - z. Is n != -3/58?
True
Let g = 990 + -991. Do 48/113 and g have different values?
True
Let x(q) = -14*q + 158. Let j be x(13). Let l be (-2079)/(-16824) + (-1 - 21/j). Is l > -1?
True
Let o = 43 + -72. Suppose -10*j = -63 + 23. Let q be (7 - 135/21)/(j/14). Which is bigger: q or o?
q
Let c be 13/(7/(-30 + 2)). Let r be (-26)/40 - 13/c. Suppose -z = -28 - 1. Are z and r equal?
False
Suppose g = 5*g + 404. Let y be (g/(-4))/((-2)/8). Let t = -100 - y. Is t at most 2/9?
False
Let y be (-118)/(-649) + 390/1848 + (-1)/4. Is -72 > y?
False
Let l be 160/100 - (-4)/10. Let k(b) = 4*b - 6*b**l - 2*b**2 - 7*b + b**3 + 7 + 2*b. Let y be k(8). Is 1/5 < y?
False
Suppose 18*l + 85*l = -45*l. Is l bigger than 24?
False
Suppose 2*y - 3*y + 45 = -5*r, -r = -3*y + 65. Let n be 4/y*0 + -22. Let w be n/(-33) + 22/3 - -1. Is w <= 8?
False
Let a = -3 + 14. Suppose -5*g - 2*k = 2*k + a, k = 1. Let v = 612 - 613. Is v greater than or equal to g?
True
Suppose -w - 3*l + 8 = 0, -20 + 6 = -2*w - 5*l. Let v be (-2)/(6/(-15)) + -11 + 1008/152. Is w less than or equal to v?
False
Suppose -2*v + 8 + 2 = 0. Suppose n - 60 = -v*n. Let w be (-3 + 5/(n/44))*-1. Do w and 3 have different values?
True
Let h = 2337837087/4648988606 - 2/3334999. Let u = 2/697 - h. Is 123 at least as big as u?
True
Let c = 43825 + -43788. Let n be 0 + 35 + (-1 - -2). Is n equal to c?
False
Let o be (-105)/84*(-38673)/5370 - 9. Which is smaller: o or 1?
o
Let w = -8290 - -7546. Which is greater: 4 or w?
4
Let i = -23 - -23.2. Let s = 125 - 125.57. Let n = s - -19.57. Is i bigger than n?
False
Let s = 145 - 354. Let o = s + 193. Is -20 bigger than o?
False
Let j = 2 + 0. Suppose 5*u + 24 = j*u. Suppose 203 = 1720*k - 1766*k - 165. Are k and u equal?
True
Suppose -2*a = -2*h - a, 3*h - 3*a = 6. Let c be (1*3/(-45))/(h/12). Which is smaller: 0 or c?
0
Suppose -2*b + 0 = -4. Suppose -3*p + 2*t + 19 + 79 = 0, -t = -b. Let w = -79 - -112. Which is bigger: p or w?
p
Let j be (-6)/(-5)*19750/100. Let i(c) = -c**3 - 6*c**2 + 6*c - 3. Let h be i(-7). Suppose 241*x + h = j*x. Which is smaller: x or 5/19?
x
Let r = 17.8 + -100.8. Let l = -83 - r. Let a = -73 - -83. Which is bigger: a or l?
a
Let z be 1207*(-8 + 3*(1 + 0) + 4). Which is smaller: z or -1205?
z
Let f(m) = -20*m - 12. Let r(w) = 7*w + 4. Let y(s) = -6*f(s) - 17*r(s). Let d be y(6). Let i(v) = 3*v + 25. Let b be i(d). Are b and 55 equal?
True
Suppose 11*d + 4 = 26. Suppose d*w - 7 - 83 = 0. Let u = -50 + w. Is u at most as big as -8?
False
Let t = 232 - 1058. Is t at least as big as -1649/2?
False
Suppose 3*k + 3*x + 36 = 0, -4*k + 3*x - 42 - 6 = 0. Let n = k - -9. Let g be (2 - (-90)/8) + n/(-4). Which is smaller: 27/2 or g?
27/2
Let k be (-608628)/16014 + 18 + 20. Is k bigger than -1?
True
Let z = -1.81 + -107.19. Let l = z + 122. Is l at least -0.5?
True
Suppose -55*i + 45*i + 134 = -144*i. Which is smaller: i or -1/14364?
i
Let k be 6/(5 - -1) + 266/34. Suppose -32*n - 29*n + 610 = 0. Which is smaller: k or n?
k
Let l(t) = 32*t - 168. Let d be (-1 + 7/(