smaller: -838/37 or x?
x
Suppose -25 = 5*n, -3*p - 18 = n - 13. Suppose -6*l + 18*l + 924 = p. Is l equal to 0.2?
False
Suppose f - 3*y - 117 = 152, 4*f = -3*y + 1106. Suppose 7*g = 32*g - f. Suppose 0 = -0*c - 2*c + 24. Which is greater: c or g?
c
Let l be 29/2*216/12. Let d be (-16)/36 - (-170)/l. Which is smaller: d or 2/3?
d
Let s be 57/1 + (-2)/(-1). Suppose 9 - s = -5*t. Let m = -13/3 + 83/6. Which is smaller: m or t?
m
Let v = 2998.2 + -2998. Which is greater: -3/110 or v?
v
Let t be (6 + -6)*10/(-34 - -14). Which is bigger: t or -184?
t
Let n = 868 - 1284. Do -416 and n have different values?
False
Let r be (-916545)/172 - 81/36. Which is smaller: -5330 or r?
r
Let i be (-3)/2*164/(-984). Is i less than 291/4?
True
Suppose a + 13*l - 8*l = -26, -l + 2 = -a. Is 275 greater than or equal to a?
True
Let p = -28.26 - -41.87. Are p and -0.1 equal?
False
Suppose -2*g = 5*g. Suppose -5*p + g*p = -190. Suppose 5*y + 25 = 0, 4*y = -3*z + 31 + 63. Is p != z?
False
Suppose 2*h - 1 = r, 103*r = 101*r + 3*h - 1. Which is smaller: r or -4/265?
-4/265
Let r = -5183 + 5293. Is 11 > r?
False
Let v(k) = -k - 45. Let d be v(15). Suppose -95 - 27 = 2*m. Let n = m - d. Is n != 16?
True
Let m = -221 - -480. Is 260 bigger than m?
True
Suppose 3*n - 8*n - 5 = 0. Suppose -192*k + 190*k = -408. Let a be (-40)/30*(-18)/k. Which is smaller: n or a?
n
Let y be (0 + 2)/(-6)*0. Let b be y + 6/(-3) - -25. Let j(r) = r**3 + 47*r**2 + 129*r - 108. Let z be j(-44). Is b smaller than z?
True
Let j be -2 + 16602/18 - (-3)/(-9). Is 922 at most as big as j?
False
Suppose -3*t - 45*g = -48*g + 6, 8*g - 25 = -t. Let y be 4 + -3 - 209/8. Let o = 8647/344 + y. Is t smaller than o?
False
Suppose -9*w = -11*w - 1224. Let o = 611 + w. Is o at least as big as 2/27?
False
Let r be (-34)/51 - (-1)/((-42)/(-262)). Suppose a + 19 = 5*i, 2*i = 3*a - i - 3. Which is bigger: r or a?
a
Let l = 17147/4 - 187757/44. Is l not equal to 21?
True
Let k = 0 - -1/18. Let t = 17/144 - k. Which is bigger: -4 or t?
t
Let t(w) = 315*w - 629. Let r be t(2). Do r and 2/401 have the same value?
False
Let k be ((-9008)/880 + 10)/((-4)/(-24)). Which is bigger: 0 or k?
0
Suppose 3*g = 8*g - 2*c + 162, 0 = -4*g - 5*c - 123. Let h be g*(5/(-10) - -3)*1. Do h and -80 have different values?
False
Let u be (15 - 2985/210)/(2/(-520)). Is -205 smaller than u?
True
Let d = -9397 + 441653/47. Which is greater: 0 or d?
0
Let u(o) = 20*o**2 - 3145*o + 786. Let i be u(157). Let n be (-2)/5 - 466/(-1170). Which is smaller: i or n?
n
Let x be 3 + 2 - (1*9 - 405/81). Which is smaller: x or 4159?
x
Let a be (-24)/306 - (-4)/24*2. Suppose y = 3*m - 15, 0*y = -5*y + 2*m - 10. Is y != a?
True
Let a = -5886.25 - -5892. Which is smaller: a or 17?
a
Let n = 17145/7 + -24980279/10199. Let s(r) = -r + 2. Let l be s(3). Which is greater: l or n?
n
Let n be ((-5)/((-15)/(-6)))/(6/(-75)). Suppose 16*o + n - 9 = 0. Which is smaller: o or 0.3?
o
Let r = -2.181 - 6.629. Let n = r + -456.19. Which is greater: n or 2/7?
2/7
Let z = 53.078 - 53. Which is greater: z or 1?
1
Suppose 3*q - 5*z - 5370 = -389, -8291 = -5*q + 3*z. Which is smaller: q or 1656?
1656
Let a = 89356 - 89278. Let c = 21 - -55. Is c greater than a?
False
Let q = 211361/106 + -1994. Let n(c) = -c**3 + 14*c**2 + 116*c - 23. Let k be n(-6). Is q less than k?
True
Let i = 105.2 + -104.2. Is i less than 122?
True
Let q = 558 - 588. Is -9 at least as big as q?
True
Let r = 158013/112870 + 1/22574. Is 156 smaller than r?
False
Let f = 153 - 53. Suppose 0*t = -4*t - f. Suppose 88*n + 528 = 209*n - 58*n - 85*n. Is t greater than n?
False
Let l be (15 - (-26 - -12)) + (-1 - -3). Let p = l - 16. Is 8 < p?
True
Let g = -4611 - -4212. Is 0 not equal to g?
True
Let t be ((-2792)/(-6)*3/2)/(-5). Let h = t - -724/5. Which is bigger: 2/3 or h?
h
Let u = 24893 + -921047/37. Are u and -3 non-equal?
True
Let a(r) = 14*r - 256. Suppose 113 + 85 = 11*h. Let s be a(h). Does -19/7 = s?
False
Suppose -98 = -8*l + 1766. Let j = l - 55. Do j and 177 have the same value?
False
Suppose -4*d - 50 + 4 = -y, -5*d + 5 = 0. Let g be (-3470)/y + -2 + (-12)/(-5). Is g at least as big as -73?
True
Let h = 12478 + -12479. Which is smaller: 94.43 or h?
h
Let a(s) = 57*s + 728. Let t be a(9). Are t and 1238 nonequal?
True
Let u = 114.4 - 115.418. Let x = 0.00221 + 0.01579. Let m = x + u. Which is greater: m or 0.11?
0.11
Let j = -2.03 + 0.03. Let d = -116698 + 116701. Do j and d have the same value?
False
Let h = -194627 - -194467. Let v be 0*(1 - 1 - -1). Is v equal to h?
False
Let f = -0.0723 - 3.2977. Let l = f - 136.63. Let n = 139.3 + l. Does n = 10?
False
Let s = 472722379/73 + -6476401. Let j = s + 752. Is 0 < j?
True
Suppose -94031 = 78*b + 36*b + 134425. Which is bigger: -2002 or b?
-2002
Let g = -310 + 588. Let q = -268 + g. Is 2/7 smaller than q?
True
Suppose 4*q - 5*y - 10098 = 0, -657*q + 5028 = -655*q + y. Is 2519 less than or equal to q?
False
Let v be ((-8)/(-80))/(777/(-924)). Which is smaller: -1 or v?
-1
Let i be (4/(-16))/(-5*30/2925). Is i bigger than -0.2?
True
Suppose 118 + 22 = -2*g. Let o = -146 + 76. Are g and o non-equal?
False
Let h be 8/(-12) - (-8)/(-24). Let y be (-38)/12 - (h + -1). Let q = 1 - 2. Which is greater: q or y?
q
Let m(z) = 227*z + 4690. Let b be m(-23). Do -533 and b have the same value?
False
Let y be (-35)/(-1)*(126/(-114) - 26/(-247)). Let s be 0/(1 + 0) + -32. Which is greater: s or y?
s
Suppose -19*n + 24*n + 5310 = 0. Let a be 46*(-15)/n - (-8)/(-12). Which is bigger: 1 or a?
1
Let n = -633.89 + 635. Which is greater: -0.1 or n?
n
Suppose -4*o + 7*o + 5*x = 16, 2*o - 3*x + 2 = 0. Suppose -11*h - o*h = h. Which is bigger: 6/37 or h?
6/37
Suppose -87*q + 21091 = -182*q + 72*q. Is q bigger than -917?
False
Let d be (-735)/(-235) - (-3)/(-1). Suppose 2*l + 2 = 10*b - 8*b, -l - 1 = 3*b. Which is greater: l or d?
d
Let p(w) = 63*w + 127. Let u be p(-2). Which is bigger: 9767 or u?
9767
Let k(g) = -7*g**2 + 51*g**3 - 27*g**3 - 8*g - 23*g**3 - 1. Let d be k(8). Let y(s) = -s**3 + 3*s**2 + 6*s - 5. Let m be y(4). Are m and d unequal?
True
Let b = 137018 - 1103101/8. Which is smaller: -870 or b?
-870
Let w(h) = h - 7*h**2 + 24 + 4*h + 5*h**2. Let p(q) = 3*q**2 - 4*q - 25. Let u(s) = 3*p(s) + 4*w(s). Let a be u(-10). Which is bigger: a or -2/7?
a
Let b = 443 - 989. Let k = b - -550. Which is greater: k or -0.7?
k
Let q be 162/243*3/(-2). Is q < -41/208?
True
Let b(a) = 30*a + 1. Let l be b(1). Let v be 240/4680 + 2648/78. Let g = l - v. Is g > -8?
True
Let d = -160 + 292. Let v be 1/d - (-8)/32. Let j = 3/11 - v. Which is smaller: -1 or j?
-1
Let y = -59.38 + 55.38. Which is smaller: -4/5 or y?
y
Suppose -3*v + 6*v - 12 = 3*p, 5*p = -10. Suppose -16 = 3*j + 5*n, n + 3 = v*j - 8. Suppose -2*u = -2*m + 12, j*u + 2*m + 48 = -m. Which is bigger: u or -7?
-7
Suppose 3*z + 1042 = -4*p, -875 - 157 = 4*p - 2*z. Suppose -4*k - 2*q - 1040 = 0, 4*k + 0*q + 1040 = -q. Is p at least as big as k?
True
Suppose -36 = -3*l + 5*q, q = -l + 4*q + 8. Let m be (-3 - -8) + (-320)/14. Let f = m + l. Is f < 0?
True
Let h = 407.1 - 415. Let s = -5.3 - h. Which is bigger: s or -1?
s
Let q = 2128 + -2129. Which is smaller: -3415 or q?
-3415
Let x be (-4 - -5) + 8/(-2). Let s = -717 - -802. Let r be x + 22/6 - s/105. Which is bigger: -2/9 or r?
r
Let p = 7.77 - -28.53. Is p bigger than -1?
True
Let r = -13555 + 8606. Which is greater: -4948 or r?
-4948
Let y(q) = 14*q - 5. Let i(u) = -99*u + 36. Let z(w) = -5*i(w) - 36*y(w). Let t be z(-1). Which is greater: 81/8 or t?
81/8
Let y = 0 - -0.1. Let h = 1031 - 996. Are y and h non-equal?
True
Suppose -13419 = -10*u + 3*u. Is 1917 >= u?
True
Let f(w) be the third derivative of w**5/60 - 23*w**4/24 + 28*w**3/3 - 10*w**2. Let q be f(22). Let t be -68*((-1)/(-10))/(q/255). Which is smaller: -1 or t?
t
Suppose -5*d = 5*g - 90, 0 = 3*d - 4*d - 5*g + 18. Let l(b) = -8*b**3 + 5*b**2 + 17*b + 2. Let c be l(-2). Suppose -4*r + 28 = -c. Which is smaller: r or d?
d
Let i = -144 + 144. Suppose i = -b - 2*j - 18, 104 = 3*b - 8*b + 4*j. Is b != -96/5?
True
Let y be -15 - (-4)/(-2)*1. Let m be 2/15 + (-17 - (-33418)/7140). Let s = -62/17 + m. Which is smaller: y or s?
y
Let z(n) = -2*n**2 + 11*n - 26. Let s(w) = w**3 - 3*w**2 - w - 2. Let v be s(4). Let c be z(