5 or r?
r
Suppose -10*g - 3804 - 3096 = 0. Is g at least as big as -695?
True
Suppose -3*h - 5*v = -70, -233*h - 2*v - 50 = -237*h. Is h greater than 7?
True
Let h be (-9 - -3)*(-8)/(-6). Let t(c) = 14*c + 64. Let n(m) = -5*m - 21. Let l(x) = 8*n(x) + 3*t(x). Let z be l(-14). Is z smaller than h?
False
Let o = 0.659 - -0.341. Which is smaller: o or -301?
-301
Suppose 14 = -31*v + 17*v. Let y(a) = 141*a - 5. Let b be y(-2). Let l = b + 5456/19. Which is greater: v or l?
l
Let j = -114 - -270. Suppose -7*o - 170 + j = 0. Which is smaller: -14/5 or o?
-14/5
Let y = -7177 + 7170. Suppose 4*d = -8*i + 3*i - 1, 0 = -3*i + 3*d + 21. Let w = -2 + i. Is y not equal to w?
True
Let k = -55 - -11. Let l(b) = 29*b - b**2 - 6*b + 4*b**2 + 57 - 2*b**2. Let y be l(-17). Which is smaller: y or k?
y
Suppose -5*y + 6 = y. Let n = -0.095 + 0.178. Let x = n - -15.917. Does x = y?
False
Let r(i) = 7*i - 27. Let g(y) = 4*y - 13. Let o(a) = 11*g(a) - 6*r(a). Let k be o(-10). Is -2/171 at most as big as k?
False
Let t be -5 + (4 - ((-76)/2)/(-2)). Let n(k) = -2*k**2 - 40*k + 8. Let g be n(t). Does g = 1.8?
False
Let q = 4100 - 3882. Is q >= 213?
True
Let o(l) = l**2 - 4*l - 15. Let m be o(6). Let k be -1*(m + -2) - 4. Let h be 2/(-10) - k/(175/(-10)). Which is smaller: h or -1?
-1
Let g be (1 - 524) + (-2 + -9 - -11). Which is smaller: -524 or g?
-524
Let v = 12.06 - 11.7. Let z = -0.1 - -0.1. Let t = z + 0. Is t <= v?
True
Let w = 9020 - 9277. Are -8 and w nonequal?
True
Let z = 287 - 284. Let q(s) = 45*s - 91. Let m be q(z). Is m less than 38?
False
Let h = -123858 - -619598/5. Let u = -5 + 66. Is u < h?
True
Let f(g) = -g**2 - 23*g + 20. Let y be f(-14). Let c = 369 - y. Which is bigger: c or 222?
c
Let t = 29.5 - 137.5. Let a = 113 + t. Let c = -1 + 0.9. Which is smaller: a or c?
c
Let l = 26 - -19. Let h = l + -36. Let g = 57 + -48. Is h >= g?
True
Let i = -9692610593/5780115 + -3/642235. Which is bigger: -1677 or i?
i
Let x = 506267208/806333 + -7/146606. Let c = x + -628. Let g = -7/11 - c. Which is smaller: g or -0.1?
g
Let v = -6 - -8. Let z be 44/682 - 6/93. Let h be 5980/(-1480) + v + 2 + z. Which is smaller: 1 or h?
h
Let r be 0 + -2 + 30/14. Let u be (-24)/12 - (10/15)/(4/(-18)). Which is greater: u or r?
u
Let o be ((2 - 4)/4)/(14/(-252)). Suppose 11 = o*l - 7. Suppose -2*j = 5*d - 200 - 124, 188 = 3*d - l*j. Is 64 >= d?
True
Let c(j) = -9*j - 2. Let v be c(4). Let a(x) = -12*x - 135. Let i be a(-9). Let l = i - v. Which is smaller: -1 or l?
-1
Let a = -110 + 109. Let d be (-4 - a)/(42/(-196)). Suppose -9 - 39 = -4*q. Which is greater: d or q?
d
Let v = -5193 + 5194. Which is greater: 7/1203 or v?
v
Let h = 147367/84 + -12168/7. Is h at most 15?
False
Let d = 363 + -366. Let m be -5 - (3 + d - 15). Which is greater: 122/13 or m?
m
Let t be (715 + -2 - -7) + -5. Suppose t = 12*i - 1985. Do 224 and i have different values?
True
Suppose -4638 = -2*v + 4*f, 179*v = 176*v + 3*f + 6951. Which is smaller: v or 2314?
2314
Let r = 2.377 + 0.273. Let j = r + -2.76. Which is smaller: j or 2?
j
Let y(m) = 8*m**3 + 24 + 21*m**2 + 7 - 8*m - 7*m**3. Let k be y(-22). Let c = k + 72295/261. Do c and 1 have the same value?
False
Let o be (-632)/3*306/408. Which is smaller: o or -156?
o
Suppose -180 - 144 = -4*t. Suppose 319 + t = -20*n. Is -20 < n?
False
Let h be 10 - (0 - 1)/((-2)/(-6)). Let s(c) = c**3 - 6*c**2 - 3*c - 15. Let k be (7/4)/((10/8)/5). Let w be s(k). Is h less than w?
False
Let z = 200 + 67. Suppose 0 = -3*a + 5*a - o - z, -5*o - 525 = -4*a. Which is greater: 133 or a?
a
Let x be (-21)/(-49) - 9/21. Let o be -5*2/45 - x. Is o != -1/106?
True
Let z(c) = -2*c + 10. Let b be z(0). Let x be ((-7)/(-2))/(b/(-20)). Let i(j) = 2*j**2 + 11*j - 1. Let g be i(x). Is g less than or equal to 21?
True
Let n(l) = -l**3 - 5*l**2 + 9*l + 14. Let q be n(-6). Let v be (-1)/3*(22 + q). Let c be (v/(-16))/(210/(-56)). Do c and 2/5 have the same value?
False
Let x = -1105103/2688 + 2878/7. Let o = -2267/103296 + x. Which is smaller: o or -1?
-1
Let i be (126/27)/7 - (-7)/3. Suppose 2*m - m + h + 5 = 0, -i*m - 23 = 5*h. Which is smaller: m or 2/597?
m
Let d = -740/93 + 226/31. Let b = -104 - -72. Let j = 32.26 + b. Which is smaller: d or j?
d
Let m(d) = 24*d - 1559. Let r be m(65). Is 2/27 at least as big as r?
False
Let b = 4348 - 4298. Which is bigger: -0.027 or b?
b
Let w(i) = -172*i - 1380. Let s be w(-8). Which is smaller: s or -105/38?
s
Let u = 54311/27 - 2011. Let f be 2 + (-2 + 2)*-1. Which is greater: u or f?
f
Let j = 466 - 459. Suppose 6 - 18 = -4*b. Suppose -b*o - 2*o = 0. Which is greater: o or j?
j
Suppose 4 = 9*s + 1 + 12. Which is greater: s or -2/6681?
-2/6681
Let z(v) = -4*v + 92. Let y be z(23). Let x be 6*((-6)/14922 - y). Which is greater: x or 1?
1
Let s = 4400 - 2766. Are 1635 and s nonequal?
True
Let r = -136690 - -136689.719. Let f = 0.4 - 0.3. Which is smaller: r or f?
r
Let a = -21.25 - -21.25. Is a less than 463?
True
Let i(v) = -242*v**3 - 6*v**2 - 9*v - 3. Let m be i(-1). Are 240 and m nonequal?
True
Suppose -3*c = -4*b + 3*b + 54, 3*b = -2*c + 151. Suppose -5*j - 42 = -3*t + b, 0 = -t + 3*j + 31. Which is smaller: t or 34?
t
Let w = -1/795 + 2497/89040. Let k = w - 1023/560. Which is smaller: -3 or k?
-3
Let o(g) = 656*g + 1314. Let y be o(-2). Which is smaller: y or 134/93?
134/93
Suppose 3 = -2*w - 1. Let c be (1*(-6)/w)/(69/46). Suppose -4*d = j - 29, 0 + 76 = 2*j + c*d. Which is greater: j or 40?
j
Let f be (-6 - 336/(-40))/(-1 - (-18)/15). Which is bigger: f or -92?
f
Let l(g) = g**3 - g**2 - g + 15. Let a(w) = -2*w**3 + 2*w**2 + 3*w - 29. Let f(o) = 6*a(o) + 11*l(o). Let t be f(2). Which is bigger: 38 or t?
38
Let h = -3 + 1. Let x = 108 + -104. Suppose -6 = -5*n - r - 2*r, 4*n = -2*r + x. Is h smaller than n?
True
Suppose -o + 51 = 1. Suppose 15792 + 8463 = 495*m. Do m and o have the same value?
False
Let n = -23/5 + 9/2. Suppose 0 = 31*r - 34 - 28. Suppose 5*x - r*q = 5, 4*x + 1 = -3*q + 5. Which is smaller: x or n?
n
Let j(f) = -10*f + 11. Let l(c) = 11*c - 11. Let s(g) = -7*j(g) - 6*l(g). Let v be s(12). Let r be ((-3042)/390)/(2/(-10)). Do r and v have different values?
True
Let s = -77 - -84. Suppose -1 = -s*w - 1. Which is bigger: -0.97 or w?
w
Suppose 226 = -30*c + 25*c - 2*h, 5*h = 5*c + 205. Let m = 23.9 - 24. Is c less than or equal to m?
True
Let n be (0 + 4/56)/((-1)/(-268)). Let t = -13 - -33. Which is smaller: n or t?
n
Let t be 12 + (-14 - 5) + (-153)/(-21). Which is bigger: 185 or t?
185
Let c = 261.5 + -150.2. Let l = c + 37.7. Do l and 2 have the same value?
False
Let i = -133 - -142. Suppose i*l - 120 = -633. Let c = l - -62. Is c less than 6?
True
Let z = 2509 - 2543. Which is bigger: z or -49?
z
Let i(z) = -z**3 - 4*z**2 - 11*z - 44. Let u be i(-4). Suppose 5*g = -b + 29, -b - g - 2*g = -23. Is b not equal to u?
True
Let k(c) = 2*c**2 + 43*c + 4509. Let u be k(-89). Is u bigger than 16525?
False
Suppose 11*f = -121 + 99. Let q be 10/(-15)*f/(4/3). Do q and -1/86 have different values?
True
Suppose 458 = -3*m + 4*u - 0*u, -4*m + 2*u - 604 = 0. Let a = m - -146. Which is smaller: a or -3?
a
Let d = -12755.2 + 12755. Which is greater: 0.05107 or d?
0.05107
Suppose -x = -5*b + 173, 0 = 35*b - 40*b - 4*x + 158. Is b greater than or equal to -49?
True
Suppose p - 2 = 3*a, -3*p - 4*a = -3 - 16. Suppose 5*o - 17 = -3*y + 19, -p*y = -5*o + 20. Let v = 10/291 - -5402/873. Which is smaller: v or o?
o
Let n(s) = 1436*s - 1712. Let g be n(-2). Is -4584 equal to g?
True
Suppose 2*m + 20 = -4*w, 36*w - 20 = 5*m + 40*w. Let u = -4556/15 - -304. Which is smaller: m or u?
m
Let s = -1/81030 + -342473293/162060. Are -2112 and s equal?
False
Let i = 59 - 57. Let h be 7113*(65/(-35) + i). Let l = 1014 - h. Is l smaller than -2?
True
Suppose m = -z - 50, -4*z - 5*m - 220 = -15. Let s(t) = -69*t + 19. Let a be s(5). Let o = a - -280. Which is smaller: z or o?
o
Let w = 13.7 - 13. Let y = w + 4.3. Let s = 499 - 501. Is y > s?
True
Let i(q) = -q**3 + 8*q**2 + 9*q + 9. Let c be i(12). Let o = -22644613/2849 + 311066/37. Let s = c + o. Which is bigger: s or 0?
0
Suppose -6*i = -2*i + 16. Suppose -2*d - 2*u = 112, -4*u + 128 = -3*d + u. Let s be (-2)/(-2)*(d + 50). Which is smaller: i or s?
i
Let l = 13743 + -13691. Which is bigger: l or 659