
g
Let k = 11 - 13. Suppose 13*o - 12*o = 5. Suppose 7*s - o = 2*s. Is k > s?
False
Suppose 0 = c - 65 + 24. Let y(x) = 1807*x - 79 + 283 + 1813*x - 3611*x. Let i be y(-18). Is i <= c?
False
Let j = -8148 - -40738/5. Which is smaller: j or 1?
j
Let b(w) = -5*w + 13. Let h be b(-4). Let o be (h/(-2838))/(10/(-12)). Which is greater: o or -1?
o
Let m = -54569.04 - -50874. Let a = m - -3815. Let h = -120 + a. Is 1/2 > h?
True
Let b(q) = q**2 - 11*q + 25. Let s be b(5). Let u = 3.102 + -0.102. Is u >= s?
True
Suppose 5*k - 27 = 3*m, -5*m - 7*k = -2*k + 45. Suppose i - 465 = 2*i - 4*g, 3*i + 2*g = -1395. Let o be (-4)/(-6)*m/i. Which is bigger: 0 or o?
o
Suppose 440*w + 1512 = 438*w + 4*j, 2*j = -w - 768. Which is smaller: w or -764?
-764
Suppose 1004150 = 333*b - 274619 + 125257. Which is bigger: b or 3465?
3465
Suppose -13 = -2*v + 51. Suppose 27*q - v*q = -175. Let l = -62 + q. Do l and -25 have the same value?
False
Let x(r) = r**3 - 6*r**2 - 9*r + 12. Let s be x(7). Let i = 21 + s. Which is smaller: 14 or i?
14
Let s = 29065 - 29067. Let c be 11 + 2 - (4 + -4). Which is smaller: s or c?
s
Suppose -4*u = -24, -q - 40*u - 101 = -39*u. Suppose -4*v - 16 = 404. Is v at most as big as q?
False
Let m be (-12 + 8)/((-28)/8 - -4). Is -120 smaller than m?
True
Let d be (8 + -11)/(1/(-87)). Suppose 3*c + 2*r - 157 = 0, -5*c - 4*r = -0*c - d. Which is smaller: 54 or c?
c
Let w(m) = -m**2 + 4*m - 4. Let h be w(3). Let l be 110/(-44) + 2/4. Let z be h + (l + -2 - -5). Is -3/16 < z?
True
Let t(l) = 15834*l + 31673. Let y be t(-2). Let z be -2 + 0 + (1 - -4). Which is smaller: y or z?
z
Suppose 4 = 4*j - 0. Let k be ((-84)/2646)/((-92)/(-3)). Let x = 1007/39606 + k. Which is bigger: x or j?
j
Let c = -58.4 + 62. Let d = 0.49 + -0.09. Let a = d + c. Which is smaller: 8 or a?
a
Let r(p) = -11*p + 2*p + 10*p - 9. Let s be r(11). Suppose -353 = 3*a + 4*i, -579 = s*a + 3*a + 2*i. Which is smaller: -114 or a?
a
Let m = 3085520/1009 - 3058. Which is smaller: 0.1 or m?
m
Let a = 4515 + -4709. Is 2/7 > a?
True
Let n = -766 + 770. Suppose 10*b = -3*l + 7*b - 9, -b + 37 = -n*l. Which is bigger: -20 or l?
l
Let v be 0/(1 + 3 + -3). Let k be 6/33 + v + 1968/66. Let c be k/(-105) - 844/(-14). Is 60 less than c?
False
Let r(a) = -a**3 - 3*a**2 + 5*a - 3. Let n(v) = 2*v. Let g(p) = 2*p. Let f(h) = -2*g(h) + n(h). Let c be f(2). Let j be r(c). Do j and -8 have different values?
True
Suppose 0 = 19*a - 11*a + 8. Let n be (-2 - (-7)/5 - a)*55. Suppose 4*k - n = -26. Is k >= 1/55?
False
Let p = 2634 - 2160. Is 472 <= p?
True
Let x(f) = 10*f**2 + 1 - 146*f**3 + 4*f**2 - f + 75*f**3 - 3*f**2 + 77*f**3. Let j be x(-2). Which is greater: j or -8/131?
-8/131
Suppose 4*q - 474 = 2*h, -4*q = 5*h + 201 + 1026. Let k = -242 - h. Which is bigger: k or -2/625?
k
Let x = 3422 - 5100. Is -1678 smaller than x?
False
Let b be (-123)/(-9)*(-860)/40. Which is greater: -293 or b?
-293
Let f = -511 + 513. Suppose -9*x + 15 = -12*x, f*w - x + 239 = 0. Is w smaller than -121?
True
Suppose -2 = -4*v + 2. Let u be ((-1930)/(-8))/(-5) - 2/(-8). Let h be 6/(-48) - -14*3/u. Which is smaller: h or v?
h
Suppose 0 = 132*d - 127*d - 30. Let t be 10/(-6)*19 - d. Which is smaller: t or -38?
-38
Let n be (2 - 25/2)/((-23562)/(-1617)). Is -1 smaller than n?
True
Suppose 7 = -3*j - 2*g, 0*g - 21 = j - 4*g. Let s be 1/(-4) - j/4. Which is smaller: 10 or s?
s
Let f = 262 - 262. Suppose -22*r - 806 + 58 = f. Which is greater: r or -1?
-1
Suppose 4 + 0 = -3*v - z, 4*v = 4*z. Suppose -693 = -3*f + 72. Let x be 1*(-6)/21 + f/966. Is x bigger than v?
True
Let h = 2.252 + -2.13. Let m = h - -0.278. Which is smaller: m or -0.05?
-0.05
Let o be (-3)/(-9)*(-32 + 33)*0. Is o at least as big as 50/693?
False
Let x = -47 + 51. Let w(q) = -5*q**3 + q**3 - q**3 + q. Let k be w(-1). Are x and k equal?
True
Suppose -2*k + 98 - 126 = l, k + 19 = 2*l. Let z be ((-200)/k - 3)*-3. Which is bigger: z or -162/5?
z
Suppose -m + w + 262 = -343, 4*m - 2*w = 2426. Is 607 at most as big as m?
True
Let o(c) = -c**2 - 18*c - 10. Let q be o(-15). Suppose -50 + 17 = -r - 2*z, -5*r = 4*z - 165. Which is bigger: r or q?
q
Suppose -4*j + 56 = 3*f, -23 = -19*f + 15*f + 5*j. Let y(g) = -g**2 + 17*g + 22. Let w be y(f). Let i be 85 - 2 - (-1 + 2). Are w and i equal?
True
Suppose 7*a + 16*a + 20 = 43*a. Is -11/343 at least a?
False
Suppose 541 = -10*o + 2591. Suppose 0 = -g - t + o, -2*g = 5*t + 42 - 464. Is 201 at most as big as g?
True
Let o(s) = -9*s**3 + 9*s**2 - 6*s - 33. Let k be o(6). Is k less than or equal to -1690?
False
Let q(t) = t**2 + t + 3. Let x be q(2). Suppose 10*y - x*y - 3*c = -16, -4*y - 2*c = -6. Let h be (30/(-4))/((-21)/28). Which is smaller: h or y?
y
Suppose -5*k + 33 = 2*n, 3*n = 6*n - 3*k - 18. Let t be -11636*n/84*3. Let u = -3748 - t. Which is greater: -8 or u?
u
Let l be (-4)/20 - 6/280. Let a be 84/(-2940)*(-2)/(-8). Let j = a - l. Which is smaller: -1 or j?
-1
Let d = 1339/4008 - 1/1336. Is -1901/3 at least d?
False
Let x = 78/359 - 39972/15437. Which is greater: -1 or x?
-1
Let c(h) = -55*h**2 - 25*h + 62. Let y be c(-8). Is -3261 at most as big as y?
True
Suppose 10*m - 13*m = -45. Suppose -m*k + 20*k = 425. Is 84 at least as big as k?
False
Let r(h) = h**3 + 6*h**2 - 22. Let y be r(-3). Let j be y + (-8 - 1) + -38. Which is smaller: -41 or j?
j
Let r be (-4)/151*2/(-4). Let u(y) = y**2 + 170*y - 3383. Let c be u(18). Does r = c?
False
Let w = -257 - -282. Suppose -w*r = -8*r + 17. Which is smaller: -4/433 or r?
r
Suppose 0 = -2*n - 0*n + 10. Let c be 3/15 - 31/n. Let v be (-384)/117 + (-28)/21. Is v >= c?
True
Let x be 272/5 - (-7 + (-111)/(-15)). Let d be (-32)/x*((-5)/(-2) - 1). Is d at most -2?
False
Suppose -49*g + 277 = -213. Which is bigger: 2/83 or g?
g
Let g = 39 + -49. Let h be (g/(-3))/(16/24). Suppose 4*c - 3*t = 7*c + 105, 0 = -2*c - h*t - 67. Which is smaller: -37 or c?
-37
Let o = -49.966 + -0.034. Let n = o + 49.98. Let t = n - 0.28. Is t equal to 0.9?
False
Let l be 11 - 12 - 10/2. Let p be 10300/(-35) - l/21. Let n = p - -3533/12. Is n != -2/5?
True
Suppose -o - 3*o + 3*t - 782 = 0, 3*o - t + 584 = 0. Is o bigger than -196?
True
Suppose -5*d = t + 237 + 153, -5*t + d = 2028. Which is bigger: t or -408?
t
Let n = 58 + -18. Suppose -4*w - w + 2*r + 164 = 0, n = w - 4*r. Let p be -1 + 1/1 + 16/w. Which is smaller: p or -17?
-17
Let i be (3 - 2)*10/24. Let b(n) = 378*n + 757. Let g be b(-2). Which is smaller: g or i?
i
Let d(l) = l**3 + 18*l**2 + 18*l + 19. Let m be d(-17). Let o be m + 0 - (-11628)/(-5406). Is -1 at least o?
False
Suppose -4*t = -29*t + 7500. Let i = t + -301. Which is bigger: i or -2/1341?
-2/1341
Let n be (1 - (-8007)/15)*(-25)/(-10). Is 5347/4 smaller than n?
True
Let l(k) = -6*k**3 - 9*k**2 + 12*k - 2. Let p be l(1). Let d be 0 - (p - 753/(-151)). Is d bigger than 0.2?
False
Let f = -3692 - -3766. Which is greater: f or 81?
81
Let h be (-5)/(-20) - (-65)/(-4). Let i be (-3 + -4 + 5)*h. Suppose -37*n = -i*n + 125. Is n >= 2?
False
Suppose -5*u - 133 + 139 = -f, 2*f - 3*u + 5 = 0. Let v = 1610 + -49914/31. Which is bigger: f or v?
v
Suppose -4*h = -2*x - 246, x = -13*h + 11*h - 119. Let p = x - -1093/9. Is 0.07 greater than or equal to p?
False
Suppose -2*m + 46 = 4*k, -2*m + 2*k - 7 = -23. Let j = -9 + m. Suppose 0 = 8*o - 12*o - j. Which is smaller: o or -5/3?
-5/3
Let o = 861925/36 + -23943. Which is bigger: 1.1 or o?
1.1
Suppose -7 = -2*m - 9. Suppose 7*u = -6*u + 5*u. Suppose 0 = 4*h + 3*w - 5, -2*h - 2*w - w + 1 = u. Which is smaller: m or h?
m
Let g be -1 - 6 - (0 - (-120)/(-16)). Which is smaller: -16570 or g?
-16570
Let w be ((7 + -14)/28)/((-95)/(-60)). Is w < -0.0489?
True
Let d = 0.579 + 299.421. Let c = -567 + d. Is 1 less than c?
False
Let d be -118*(108/8)/(-9). Let u = -130 + d. Which is smaller: 49 or u?
u
Let m(g) = -20*g + 5. Let z be m(-4). Let f be 1/5 - 1 - (-1258)/z. Which is bigger: 0.5 or f?
f
Suppose -2179*z + 2264*z = 85. Which is smaller: z or -2/89069?
-2/89069
Let x = 18019 - 18049. Is x at most as big as -237?
False
Let u = 5847 + -5866. Let n be (2*-1)/(3/30). Which is smaller: u or n?
n
Let k = -1/80092 - -842808125/720828. Let i = k + -1168. Let v = -4 - -4. Does i = v?
False
Suppose -r + 4*r = -17*r. Suppose -59*m + 55*m + 108 = r. Is m bigger 