= z*d. Do v and 22/13 have the same value?
False
Let i = -19329002/325 + 59473. Let y = i - -4/25. Let c = -1 + 1. Which is smaller: c or y?
y
Let j be (-12)/40 + (-247)/10. Let o be (15/j)/(14/(-70)). Which is bigger: o or 23/14?
o
Suppose -40*x - 556 = 3*j - 35*x, 2*j = 3*x - 396. Let f = -193 - j. Is -7/6 >= f?
False
Suppose -3135 - 14690 = -25*y. Are 712 and y equal?
False
Let l = 1.2849 + -0.2849. Which is smaller: 7442 or l?
l
Suppose -j - 2 = -58. Suppose 34 = t - j. Suppose t = 12*k - 2*k. Which is greater: 8 or k?
k
Suppose -4*y - 923 = -3*w - 245, 2*w - y - 452 = 0. Let m = w + -208. Which is smaller: m or 20?
m
Let q = -450 - -446.41. Let i = -2.41 + q. Let c = -4 - -3. Is c equal to i?
False
Let g = 1.1 + 16.9. Let r = 0.02792 - 18.07292. Let n = g + r. Is 0.1 <= n?
False
Let n = 122 - 119. Let k be (-137)/2 + 14 + (-6 - n). Which is smaller: k or -64?
-64
Suppose -3*x = 2*j + 1576 - 237, x = -2*j - 445. Which is bigger: x or -448?
x
Let i be 104/6 - (-16)/24. Let d be (-549)/(-54) + (-3)/i. Let u be ((-1)/3)/(d/30). Is u at most as big as -2/37?
True
Suppose -4*u + 6*c - 9*c + 7 = 0, -5*u = -3*c - 29. Let l(n) = 16*n**2 - 7*n + 3. Let o be l(u). Let v = o + -5312/23. Is v less than or equal to -1?
False
Suppose 2*d + 16804 = -5*j, 6*d = 5*j + 4*d + 16816. Which is smaller: -3360 or j?
j
Let p be ((-225)/(-10) - 21)/(30/(-36)). Let g = 0 - 0.1. Which is smaller: p or g?
p
Let k = 16.8433 - -0.1567. Let n(r) = -r**3 - 6*r**2 + 6*r - 14. Let g be n(-7). Which is smaller: k or g?
g
Let n be (-19 - (0 + 2))*596/12. Let w be n/(-5) - (6/(-15) + 0). Which is bigger: 208 or w?
w
Suppose 0*r - 5*r = 5. Suppose -4*i + 3*q = -8, -5*q + 1 = -4*i + 9. Let g(o) = -2*o**2 + 8*o - 10. Let c be g(i). Which is smaller: r or c?
c
Let f = -4/193 + -41857/1158. Is f at most as big as -36?
True
Let c = 1/710 - 123/137740. Is c at least -1?
True
Let v = 2/6823 - -6665/539017. Which is smaller: v or 10?
v
Suppose 5*x = x + 44. Let v = -138 + 143. Suppose -3*p + v*p = 26. Is x bigger than p?
False
Let a = -17245/22 - -784. Let q = -157 + 156. Is q < a?
True
Suppose -7*x + 11 = -171. Suppose -13*a + 13 = -x*a. Which is bigger: 17 or a?
17
Suppose -2*b - 46 = -158. Suppose -g - 1 = -5. Suppose 4*u + 248 = g*l, -l - l - 5*u = -89. Which is smaller: b or l?
b
Suppose 19*w = -2 - 3152. Let z = w - -167. Is z <= -2/937?
False
Let h = -135066/5 + 27013. Let d = 0.2 + -0.23. Is d less than h?
False
Let i(b) = -2*b**3 + b**2 + 4*b + 3. Let l be i(2). Is l smaller than 8/41?
True
Suppose -5*m = 2*l - 176, -143*l = -4*m - 140*l + 150. Let s = -9.3 + 10. Let r = -0.3 - s. Which is bigger: m or r?
m
Let c be 11060/(-27097)*(-2)/(-1136). Which is smaller: c or -1?
-1
Suppose 212170 = 5*q - 3*k + 26715, 37119 = q + 5*k. Let n be (-14)/21 - q/(-300). Let i = n + -123. Are -1 and i nonequal?
True
Let o be -5 - (4 - (-96)/(-10)). Let u = 8336.031 + -8326. Let x = u + -0.031. Is x equal to o?
False
Let b be (2/3)/(7800/(-1200)). Let j be (38/(-390))/((-2)/2). Let r = b - j. Which is greater: r or 0?
0
Let r(o) = -o**3 - 53*o**2 - 94*o + 243. Let m be r(-51). Which is greater: m or -162?
-162
Suppose 4*y - 22942 - 5578 = 0. Suppose 3*w - 24081 = -5*m, -2*w + 8929 = 5*m - y. Let t be 2/7 - (6 + (-45924)/w). Is t not equal to 0?
True
Let f be 6/(-27)*3*(-1 + 4). Let h be (13 + (f - -1))*(-1)/14. Let s = -46 - -48. Is h equal to s?
False
Let p = 71 - 62. Let l = -18 + 33. Suppose -4*o + 3*j - p = 0, 9*o - 8*o - l = -5*j. Are -5/28 and o equal?
False
Let c = 17233/4 - 4318. Which is bigger: 0 or c?
0
Let t(h) = 6*h**2 - 9*h**2 + 42*h + 5*h**2 - 106*h. Let y be t(32). Is 202 less than or equal to y?
False
Let s be 10/(-14)*-2 + 10/(630/(-27)). Which is smaller: s or 1/1389?
1/1389
Suppose 0 = b + 37 - 23. Let z be (-1068)/60 + (5 - 1). Which is greater: z or b?
z
Suppose 0 = -5*s + 2*t + 500, 3*s + t - 389 + 78 = 0. Let j = -95 + s. Does 5 = j?
False
Let m(i) = 4*i - 113. Let x be m(6). Suppose 0 = -8*d - 526 - 194. Is d not equal to x?
True
Let v be 1138 + -6 + 19 + -10. Which is bigger: v or 3422/3?
v
Let a = -13282 + 13281. Which is bigger: 3/3595 or a?
3/3595
Let q = 6564/35 - 1226/7. Let i = 3 + 1. Let w(o) = o**3 - 3*o**2 - o - 1. Let d be w(i). Do d and q have the same value?
False
Let b = -389350/137 + 2842. Suppose 63 = 279*a - 216*a. Which is smaller: b or a?
b
Suppose 10*c + 6 = -14. Let x be c*9*(-3 + 8). Let b = -81 - x. Which is greater: b or 8?
b
Let v = -39395/4 + 9849. Which is bigger: v or 23/21?
23/21
Suppose 5*r = -4*c + 3*c + 40, 5*c + 32 = 4*r. Suppose 0 = -149*j + 157*j + r. Which is smaller: -1/477 or j?
j
Let t = -41 + 27.4. Let p = t - -6.3. Let f = 7.5 + p. Which is bigger: f or -0.4?
f
Let i = -2119 + 2117. Let k = -126 + 89. Is i > k?
True
Let h = 23041 + -19494. Is h <= 3547?
True
Let g be ((-668)/(-501))/(0 + 74). Suppose o - 8 = -5*k, -3 = -2*o + 3. Is g smaller than k?
True
Suppose -2*a - 3 = u, -a = 5*u - 0*u - 12. Suppose -u*r + 2*r = 0. Let o = -1800285/7 - -257184. Which is bigger: o or r?
o
Let c be 60/(-42) + (-15)/(-35). Which is smaller: c or -21/26?
c
Suppose 15*d + 272 = 23*d. Suppose 38*u = d*u - 1600. Which is bigger: 2/3 or u?
2/3
Let a(g) = -4*g**3 + 32*g**2 - 18*g + 149. Let i be a(8). Suppose -3*k + k - 11 = -5*x, 12 = 4*x. Which is bigger: i or k?
i
Suppose 73*i - 9 = 63*i + 1. Is -1/116 not equal to i?
True
Let s = 55.5 - -40. Let k = -82 + s. Let r = k - 12.9. Is 3 less than r?
False
Let n = 102 - 47. Let d = -54 + n. Which is greater: -10/23 or d?
d
Let c = -28286 + 140722/5. Is -143 >= c?
False
Suppose -194*x = -197*x + 9, -3*z + 2*x + 267 = 0. Is z >= -6?
True
Let l be 40/(-310)*(-4)/(-96)*9. Let x be (0/(25/(-5)))/(-3). Which is greater: x or l?
x
Let l(p) = -5*p**2 - 26*p - 41. Let h be l(19). Which is smaller: h or -2339?
h
Suppose 3*c + 6535 = 2*r, 4*r - 45 = -13. Which is smaller: -2174 or c?
-2174
Let n = -4415 - -4425. Which is bigger: n or 282/29?
n
Suppose 7*x - 12 = 2. Let i be x/(-16)*(-12478)/391 - 4. Suppose -7*v + 2*v = 0. Is v less than or equal to i?
False
Let h be (-1 + 13)*(-44)/110. Let l = h - -2174/455. Let u = 4 + -3. Is u at most as big as l?
False
Let r be -1 + (1 + -1 - 55). Let v(c) = -156*c + 41909. Let n be v(269). Which is smaller: n or r?
r
Let r = -847 + 846.8. Suppose -2*h = 3*q - 84 + 372, 0 = -2*q + 4*h - 192. Does q = r?
False
Suppose 0*p - 14 = -x + 2*p, -3*p + 9 = 0. Let r = 13 - -42. Let d = 75 - r. Are d and x nonequal?
False
Suppose 32*j = 11*j - 63. Let m be -3 + (-217 - j)*(-4)/24. Is 32 at most as big as m?
True
Let b be (28091/(-14) + -1)*84/(-70). Which is smaller: 2407 or b?
2407
Let m = 1348 + -1350. Which is smaller: 8 or m?
m
Let j = -11496 + 2558. Which is smaller: j or -8939?
-8939
Let i = 45 + -78. Let c = -47 - i. Let u = 6/413 + 808/1239. Which is bigger: u or c?
u
Let y = -160.6 - -161. Let v be (-34)/51 - 50/(-3). Which is smaller: y or v?
y
Suppose 0 = t + 3*b - 552, t - 5*b + 9*b - 553 = 0. Let m = 12625/23 - t. Suppose -1 = v - 0*v. Which is smaller: v or m?
v
Let j(x) = x**2 - 23*x + 47. Let k be j(12). Suppose 2*f - 5*r + 160 = 0, 103 = -r + 101. Is f at most k?
True
Let h = -4157 - -87301/21. Let w(s) = s**2 + 7*s + 2. Let v be w(-7). Suppose -v*j + 3 = j. Is j at most h?
False
Let d(u) = 4*u**2 + 4*u + 1. Let g be d(3). Let z = g + -46. Suppose z*p - 2*p = 6*p. Which is smaller: p or 1/5?
p
Suppose 16*h = 13*h - 24. Let n be -2*(-3)/(-2) + 9 + h. Let p be (6 - 4) + (n - -1). Which is bigger: 6/5 or p?
6/5
Suppose 391*w - 2*z = 389*w - 10, 0 = w - 2*z + 11. Is w at least as big as 2/9189?
True
Let d = 192.388 - 192. Let y = 67.612 + d. Are y and -0.1 nonequal?
True
Let p(c) = -6*c - 6. Let h(w) = -w**3 - w**2 + w + 1. Let v = 31 - 30. Let k be h(v). Let z be p(k). Is -2 at least z?
True
Let i be (-18)/747 - 9591/(-1909). Which is smaller: 324/71 or i?
324/71
Let v be (3*(-12)/18)/(-12) - (-278)/(-12). Which is smaller: v or -317/13?
-317/13
Suppose 0 = -0*d - 5*d + 2*o - 378, 0 = -d + 5*o - 94. Let l = d + 2739/37. Which is smaller: 1 or l?
l
Let j = -5276183097/5056 - -1043549. Let f = j + -9/64. Is f bigger than -1?
True
Let y = -2042943/5 + 410996. Is y >= 2407?
True
Let j(p) = p**2 - 31*p + 214. Let v be j(15). Is -32 >= v?
False
Let h(y) = 6*y + 114. Let 